Xavier Dumas Claire Pagetti Laurent Sagaspe Pierre Bieber Philippe Dhaussy Vers la génération de modèles de sûreté de fonctionnement. 157-172 2008 CAL conf/cal/2008 db/conf/cal/cal2008.html#DumasPSBD08