@book{9678e5a84d01495bae011b42d7620795,
title = "Controlled natural language requirements in the design and analysis of safety critical I&C systems",
keywords = "Requirements, Controlled Natural Languages, model checking, templates, patterns",
author = "Teemu Tommila and Antti Pakonen",
note = "Project code: 77380 / SAREMAN-2013 ",
year = "2014",
language = "English",
series = "VTT Research Report",
publisher = "VTT Technical Research Centre of Finland",
number = "VTT-R-01067-14",
address = "Finland",
}