1. Basu, A., Bensalem, S., Bozga, M., Caillaud, B., Delahaye, B., Legay, A.: Statistical abstraction and model-checking of large heterogeneous systems. In: FORTE, vol 6117 of LNCS, pp. 32–46. Springer, Berlin (2010)
2. Basu, A., Bensalem, S., Bozga, M., Delahaye, B., Legay, A., Sifakis, E.: Verification of an afdx infrastructure using simulations and probabilities. In: Proceedings of the First international conference on Runtime verification, RV’10, pp. 330–344. Springer-Verlag, Berlin, Heidelberg (2010)
3. Basu, A., Bensalem, S., Gallien, M., Ingrand, F., Lesire, C., Nguyen, T.-H., Sifakis, J.: Incremental component-based construction and verification of a robotic system, In: ECAI (2008)
4. Basu, A., Bozga, M., Sifakis, J.: Modeling Heterogeneous Real-time Systems in BIP. In: SEFM06, pp. 3–12, Sep (2006)
5. Bensalem, S., Bozga, M., Delahaye, B., Jégourel, C., Legay, A., Nouri, A.: Statistical model checking qos properties of systems with sbip. ISoLA 1, 327–341 (2012)