1. Model-based testing of reactive systems;Broy;Lecture Notes in Computer Science,2005
2. S. Bensalem, L. de Silva, M. Gallien, F. Ingrand, R. Yan, “Rock solid” software: a verifiable and correct-by-construction controller for rover and spacecraft functional levels, in: International Symposium on Artificial Intelligence, Robotics and Automation for Space, Sapporo, Japan, 2010.
3. A verifiable and correct-by-construction controller for robot functional levels;Bensalem;Journal of Software Engineering for Robotics,2011
4. S. Fleury, M. Herrb, R. Chatila, GenoM: a tool for the specification and the implementation of operating modules in a distributed robot architecture, in: IROS-97, pp. 842–848, 1997.
5. A. Basu, M. Bozga, J. Sifakis, Modeling heterogeneous real-time components in BIP, in: Proceedings of the International Conference on Software Engineering and Formal Methods, SEFM-06, Pune, India, pp. 3–12, 2006.