J.-M. Lippens, J. Arnol. Testing and Integrating a Large Embedded Real-Time System. In Dimitris Christodoulakis, editor, Ada: The Choice for 92, Ada-Europe International Conference, Athens, Greece, May 13-17, 1991, Proceedings. Volume 499 of Lecture Notes in Computer Science, pages 404-411, Springer, 1991.
Abstract is missing.