1. Abdellatif, T., Combaz, J., Sifakis, J.: Model-based implementation of real-time applications. In: Carloni, L.P., Tripakis, S. (eds.) Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, pp 229–238. ACM, New York (2010)
2. Aguirre, N., Maibaum, T.: A temporal logic approach to the specification of reconfigurable component-based systems. In: 17th IEEE International Conference on Automated Software Engineering, ASE 2002, pp. 271–274. IEEE, New York (2002)
3. Allen, R., Douence, R., Garlan, D.: Specifying and analyzing dynamic software architectures. In: 1st International Conference on Fundamental Approaches to Software Engineering, FASE’98. LNCS, vol. 1382, pp. 21–37. Springer, Berlin (1998)
4. Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), pp. 3–12. IEEE Computer Society (2006)
5. Basu, A., Bensalem, S., Bozga, M., Combaz, J., Jaber, M., Nguyen, T., Sifakis, J.: Rigorous component-based system design using the BIP framework. IEEE Softw. 28(3), 41–48 (2011)