Gabriela Nicolescu, Pieter J. Mosterman. Model-Based Design for Embedded Systems. Computational Analysis, Synthesis, and Design of Dynamic Systems, CRC Press, 2010. [doi]
@book{0023222, title = {Model-Based Design for Embedded Systems}, author = {Gabriela Nicolescu and Pieter J. Mosterman}, year = {2010}, url = {http://www.crcpress.com/product/isbn/9781420067842}, researchr = {https://researchr.org/publication/0023222}, cites = {0}, citedby = {0}, series = {Computational Analysis, Synthesis, and Design of Dynamic Systems}, publisher = {CRC Press}, isbn = {978-1-420-06784-2}, }