1. Lecture Notes in Computer Science;A. Basu,2010
2. Lecture Notes in Computer Science;A. Basu,2010
3. Basu, A., Bozga, M., Sifakis, J.: Modeling Heterogeneous Real-time Systems in BIP. In: SEFM 2006, pp. 3–12 (September 2006)
4. Bensalem, S., Delahaye, B., Legay, A.: Statistical model checking: Present and future. In: RV. Springer (2010)
5. Lecture Notes in Computer Science;S. Bensalem,2011