@inproceedings{1b9641216e284cb0b662dfeb97e33f85,
title = "Formal Requirement Formulation and Synthesis in System Engineering",
keywords = "formal requirements, model based design, SysML, system engineering, formal requirements, model based design, SysML, system engineering, formal requirements, model based design, SysML, system engineering",
author = "William Brace and Eric Coatan{\'e}a",
year = "2009",
language = "English",
booktitle = "17th International conference on Engineering design ICED09, Stanford, California, USA, 24 - 27 August 2009",
}