@article{fbddf532dc5f401d8e1d52a886a85111,
title = "Formal Early design synthesis of mobile work machine",
keywords = "formal modeling, requirement, synthesis, formal modeling, requirement, synthesis, formal modeling, requirement, synthesis",
author = "William Brace and Eric Coatan{\'e}a and Heikki Kauranne and M. Heiska",
year = "2011",
language = "English",
volume = "5",
journal = "International journal of design and innovation research",
issn = "1143-273X",
publisher = "ENSAM Cluny",
number = "2",
}