A. Boukottaya, C. Vanoirbeek, F. Paganelli, и O. Khaled. Conceptual Modelling 2004, First Asia-Pacific Conference on Conceptual Modelling (APCCM2004), Dunedin, New Zealand, January 18-22, 2004, том 31 из CRPIT, стр. 81--90. Australian Computer Society, (2004)
M. Penagarikano, и G. Bordel. Machine Learning for Signal Processing, 2004. Proceedings of the 2004 14th IEEE Signal Processing Society Workshop, стр. 305 -314. (29 2004-oct. 1 2004)
W. Janssen, и J. Zwiers. Formal Techniques in Real-Time and Fault-Tolerant Systems, том 571 из Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1991)
W. Janssen, M. Poel, J. Zwiers, и Q. Xu. Formal Techniques in Real-Time and Fault-Tolerant Systems, том 863 из Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1994)
W. Janssen. Tools and Algorithms for the Construction and Analysis of Systems, том 1019 из Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1995)