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