1. Lecture Notes in Computer Science;G. Kiczales,1997
2. Mohammad, R.M., Michel, R.: Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems. In: 3rd International Conference on ACSD 2003 (2003)
3. Mousavi, Russello, M., Chaudron, G.: Using Aspect-GAMMA in the design of embedded systems. In: 7th IEEE International Conference on High-Level Design Validation and Test Workshop (2002)
4. Hoare, C.A.R.: Communicating sequential processes. Prentice-Hall, Englewood Cliffs (1985)
5. Lamport, L.: The temporal logic of actions. ACM Transactions on Programming Languages and Systems 16(3), 872–923 (1994)