A model for non interpreted structures of logical systems. - R. Alali; C. Durante; J. J. Mercier (DAC, 1984)

A new high level testability measure: description and evaluation. - M.-H. Gentil; Didier Crestani; Abdennour El Rhalibi; C. Durante (VTS, 1994)

From Modelling Using Function Charts for Control Systems to Analysis Using Petri Nets. - Abdennour El Rhalibi; François Prunet; C. Durante (MASCOTS, 1995)