@inbook{bf2d1ec875514715b1bd04f99f70f74c,
title = "Development of Controllers Using Simulink and Contract-Based Design. Chapter 8",
author = "Pontus Bostr{\"o}m and Mikko Huova and Marta Olszewska and Matti Linjama and Mikko Heikkil{\"a} and Kaisa Sere and Marina Walden",
note = "ei ut-numeroa 9.11.2013<br/>Contribution: organisation=iha,FACT1=1",
year = "2011",
doi = "10.4018/978-1-60960-747-0",
language = "English",
isbn = "978-1-60960-747-0",
pages = "151--169",
editor = "Luigia Petre and Kaisa Sere and Elena Troubitsyna",
booktitle = "Dependability and Computer Engineering: Concepts for Software-Intensive Systems",
publisher = "IGI Global",
}