1. Allegio (2011),
http://www.esi.nl/research/applied-research/current-projects/allegio/
2. Broadfoot, G.H., Broadfoot, P.J.: Academia and industry meet: Some experiences of formal methods in practice. In: 10th Asia-Pacific Software Engineering Conference (APSEC 2003), pp. 49–58 (2003)
3. Chakraborty, S., Künzli, S., Thiele, L.: A general framework for analysing system properties in platform-based embedded system designs. In: DATE (2003)
4. Cobham, A.: Priority assignment in waiting line problems. Operations Research 2(1), 70–76 (1954)
5. Franks, G., Al-Omari, T., Woodside, M., Das, O., Derisavi, S.: Enhanced Modeling and Solution of Layered Queueing Networks. Transactions on Software Engineering 35(2), 148–161 (2009)