Affine Transformations in SIGNAL and Their Application in the Specification and Validation of Real-Time Systems. - Irina M. Smarandache; Paul Le Guernic (ARTS, 1997)

Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints. - Irina M. Smarandache; Thierry Gautier; Paul Le Guernic (World Congress on Formal Methods, 1999)

Applicability of SIGNAL in safety critical system development. - Irina M. Smarandache; Nimal Nissanke (IEE Proc. Softw., 1999)

Parallel State Space Construction for Model-Checking. - Hubert Garavel; Radu Mateescu 001; Irina M. Smarandache (SPIN, 2001)