1. IEEE - IEC 61588: Precision clock synchronization protocol for networked measurement and control systems (2004)
2. Basu, A., Bozga, M., Sifakis, J.: Modeling Heterogeneous Real-time Systems in BIP. In: SEFM 2006, Pune, India, September 2006, pp. 3–12 (2006)
3. Basu, A., Bensalem, S., Bozga, M., Caillaud, B., Delahaye, B., Legay, A.: Statistical abstraction and model-checking of large heterogeneous systems. Research Report RR-7238, INRIA (March 2010), http://hal.inria.fr/inria-00466158/PDF/RR-7238.pdf
4. The BIP Toolset, http://www-verimag.imag.fr/~async/bip.php
5. Lecture Notes in Computer Science;E.M. Clarke,2008