1. Bruno, G., Raineri, F., Raiteri, M., & Spiller, P. (1989). Operational development of discrete event dynamic systems with PROTOB, an object-oriented CASE tool. In: Proceedings of the 2nd workshop on software engineering and its applications, 1989, 903–916. Nanterre, France: EC2.
2. Bruno, G., Raineri, F., Raiteri, M., & Spiller, P. (1991). Automation system design with high-level PN: The PROTOB environment. In: IFAC symposia series, Vol. 15; Low cost automation, techniques components and instruments applications. Selected Papers from the IFAC Symposium, 1989, 219–228. Oxford: Pergamon Press.
3. Dependability evaluation of an air traffic control computing system;Fota;Performance Evaluation,1999
4. Coloured PN: Basic concepts, analysis methods and practical use; monographs in theoretical computer science;Jensen,1997
5. Kanoun, K., Borrel, M., Morteveille, T., & Peytavin, A. (1996). Modeling the dependability of CAUTRA, a subset of the French Air Traffic Control system. In: Proceedings of the 26th annual international symposium on Fault-Tolerant Computing, 25–27 June 1996, 106–115.