1. Lecture Notes in Computer Science;A Aldini,2004
2. Aldini, A., Bernardo, M.: TwoTowers 4.0: towards the integration of security analysis and performance evaluation. In: 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), Enschede, The Netherlands, pp. 336–337. IEEE Computer Society, September 2004
3. Alur, R., Courcoubetis, C., Dill, D.L., Halbwachs, N., Wong-Toi, H.: An implementation of three algorithms for timing verification based on automata emptiness. In: Proceedings of the Real-Time Systems Symposium, Phoenix, Arizona, USA, December 1992, pp. 157–166. IEEE Computer Society (1992)
4. Lecture Notes in Computer Science;R Alur,1992
5. Lecture Notes in Computer Science;R Alur,1990