R. Keller, and R. Schauer. Proceedings of the 1998 International Conference on Software
Engineering, page 302--311. IEEE Computer Society Press / ACM Press, (1998)
B. Grahlmann. Proceedings of TACAS'98 (Tools and Algorithms for the Construction
and Analysis of Systems), volume 1384 of Lecture Notes in Computer Science, page 102--117. Springer-Verlag, (March 1998)