"40","From Rigorous Requirements Engineering to Formal System Design of Safety-Critical Systems","","http://deploy-eprints.ecs.soton.ac.uk/40/","Ponsard, Christophe and Dallons, Gautier and Philippe, Massonet","UNSPECIFIED"," Ponsard, Christophe and Dallons, Gautier and Philippe, Massonet (2008) From Rigorous Requirements Engineering to Formal System Design of Safety-Critical Systems. ERCIM News (75). pp. 22-23. ISSN ISSN 0926-4981 ","christophe.ponsard@cetic.be,gautier.dallons@cetic.be,philippe.massonet@cetic.be","2008-10"