1. Lecture Notes in Computer Science;G. Barrett,1990
2. Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), Pune, India, September 11-15, pp. 3–12. IEEE Computer Society, Los Alamitos (2006)
3. Lecture Notes in Computer Science;M. Bravetti,2000
4. Butterfield, A., Gancarski, P.: Slotted-Circus: A generic UTP framework for discretely-timed circus. Technical Report TCD-CS-09-32, School of Computer Science & Statistic Trinity College Dublin, Trinity College, Dublin 2, Ireland (July 2009),
https://www.cs.tcd.ie/publications/tech-reports/reports.09/TCD-CS-2009-32.pdf
5. Lecture Notes in Computer Science;A. Butterfield,2007