CLAIRE: an event-driven simulation tool for testing software. - Jacques Raguideau; Dominique Schoen; Jean-Yves Henry; Jacques Boulc'h (ISSRE, 1994)