Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars | IEEE Conference Publication | IEEE Xplore