1. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comp. Science 126(2), 183–235 (1994)
2. Belinfante, A.: Timed testing with TorX: The Oosterschelde storm surge barrier. In: Gijsen, M. (ed.) Handout 8e Nederlandse Testdag, Rotterdam. CMG (2002)
3. Belinfante, A., Feenstra, J., Heerink, L., de Vries, R.G.: Specification based formal testing: The easylink case study. In: 2nd Workshop Emb. Systems (PROGRESS 2001), pp. 73–82 (2001)
4. Belinfante, A., Feenstra, J., de Vries, R.G., Tretmans, J., Goga, N., Feijs, L., Mauw, S., Heerink, L.: Formal test automation: A simple experiment. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds.) 12
th
Int. Workshop on Testing of Communicating Systems, pp. 179–196. Kluwer, Dordrecht (1999)
5. Lecture Notes in Computer Science;J. Bengtsson,2004