1. Garlan, D., Perry, D.: Introduction to the special issue on software architecture. IEEE Transactions on Software Engineering 21(4), 269–274 (1995)
2. Abi-Antoun, M.: Static extraction and conformance checking of the runtime architecture of object-oriented systems. In: OOPSLA Companion 2008: Companion to the 23rd ACM SIGPLAN Conference on Object-Oriented Programming Systems Languages and Applications, pp. 911–912. ACM, New York (2008)
3. Guennoun, K., Drira, K., Diaz, M.: A proved component-oriented approach for managins dynamic software architectures. In: Proc. 7th Iasted International Conference on Software Engineering and Application, Marina Del Rrey, CA, USA (2004)
4. Hirsch, D., Inverardi, P., Montanari, U.: Graph grammars and constraint solving for software architecture styles. In: ISAW 1998: Proceedings of the Third International Workshop on Software Architecture, pp. 69–72. ACM, New York (1998)
5. Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541–580 (1989)