Christophe Ponsard, Philippe Massonet, Gautier Dallons. From Rigorous Requirements Engineering to Formal System Design. ERCIM News, 2008(75), 2008. [doi]
@article{PonsardMD08,
title = {From Rigorous Requirements Engineering to Formal System Design},
author = {Christophe Ponsard and Philippe Massonet and Gautier Dallons},
year = {2008},
url = {http://ercim-news.ercim.eu/from-rigorous-requirements-engineering-to-formal-system-design-of-safety-critical-systems},
tags = {requirements engineering, design},
researchr = {https://researchr.org/publication/PonsardMD08},
cites = {0},
citedby = {0},
journal = {ERCIM News},
volume = {2008},
number = {75},
}