CLAIRE: An Event-Driven Simulation Tool for Test and Validation of Software Programs. - Adriana Carloganu; Jacques Raguideau (DSN, 2002)