M. Perrotin, E. Conquet, P. Dissaux, T. Tsiodras, and J. Hugues, The TASTE Toolset: turning human designed, 2010.

. Autoproj, Online at https://github.com/rock- core/autoproj 11. International Telecommunications Union, Recommendation X.680-X.693 (08/2015): Information Technology -Abstract Syntax Notation One, ASN.1) & ASN.1 encoding rules

A. Basu, M. Bozga, and J. Sifakis, Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.3-12, 2006.
DOI : 10.1109/SEFM.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00375298

S. Ben-rayana, M. Bozga, S. Bensalem, and J. Combaz, RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems (eds) Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016. Lecture Notes in Computer Science, 2016.

A. Nouri, S. Bensalem, and M. Bozga, Statistical model checking QoS properties of systems with SBIP, International Journal on Software Tools for Technology Transfer, vol.3, issue.2, p.171, 2015.
DOI : 10.1007/BF00429748
URL : https://hal.archives-ouvertes.fr/hal-01087822

C. Silva, Integrated Modular Avionics for Space applications: Input/Output Module, 2012.

. Rviz, Online at http://wiki.ros.org/rviz 25. Gazebo Simulator. Online at: http://gazebosim