1. A performance analysis of a hard real-time system;Bailey;Control Engineering Practice,1995
2. Behrmann, G., David, A., Larsen, K.G., 2004. A tutorial on uppaal. In: Bernardo, M., Corradini, F. (Eds.), Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, No. 3185 in LNCS, Springer–Verlag, pp. 200–236.
3. Systems and Software Verification: Model-Checking Techniques and Tools;Berard,2001
4. Berthomieu, B., Lime, D., Roux, O., Vernadat, F., 2004. Reachability problems and abstract state spaces for time petri nets with stopwatches, Tech. rep., LAAS-CNRS, rapport, LAAS N04483.
5. How to stop time stopping;Bowman;Formal Aspects of Computing,2006