Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars.