1. M. Autili, M. Flammini, P. Inverardi, A. Navarra, M. Tivoli, Synthesis of concurrent and distributed adaptors for component-based systems, in: Proc. of EWSA’06, vol. 4344, 2006, pp. 17–32.
2. Synchronization of asynchronous processes in CSP;Bagrodia;ACM Trans. Program. Lang. Syst.,1989
3. A. Basu, M. Bozga, J. Sifakis, Modeling heterogeneous real-time components in BIP, in: Proc. of SEFM’06, 2006, pp. 3–12.
4. A. Basu, S. Bensalem, D. Peled, J. Sifakis, Priority scheduling of distributed systems based on model checking, in: Proc. of CAV’09, LNCS, vol. 5643, 2009, pp. 79–93.
5. S. Bensalem, M. Bozga, J. Sifakis, T.H. Nguyen, Compositional verification for component-based systems ad application, in: Proc. of ATVA’08, LNCS vol. 5311, 2008, pp. 64–79.