Moreira, Tomás G.; Wehrmeister, Marco A.; Pereira, Carlos E.; Pétin, Jean-François; Levrat, Eric Generating VHDL source code from UML models of embedded systems. (English) Zbl 1198.68109 Hinchey, Mike (ed.) et al., Distributed, parallel and biologically inspired systems. 7th IFIP TC 10 working conference, DIPES 2010, and 3rd IFIP TC 10 international conference biologically-inspired collaborative computing, BICC 2010, held as part of WCC 2010, Brisbane, Australia, September 20–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15233-7/hbk; 978-3-642-15234-4/ebook). IFIP Advances in Information and Communication Technology 329, 125-136 (2010). MSC: 68M99 93C83 PDFBibTeX XMLCite \textit{T. G. Moreira} et al., IFIP Adv. Inf. Commun. Technol. 329, 125--136 (2010; Zbl 1198.68109) Full Text: DOI
Morel, Gérard; Pétin, Jean-François; Johnson, Timothy L. Reliability, maintainability, and safety. (English) Zbl 1208.93067 Nof, Shimon Y. (ed.), Springer handbook of automation. With DVD. Berlin: Springer (ISBN 978-3-540-78830-0/hbk; 978-3-540-78831-7/ebook). 735-747 (2009). MSC: 93C85 90B25 93A30 PDFBibTeX XMLCite \textit{G. Morel} et al., in: Springer handbook of automation. With DVD. Berlin: Springer. 735--747 (2009; Zbl 1208.93067) Full Text: DOI
Pétin, Jean-François; Morel, Gérard; Panetto, Hervé Formal specification method for systems automation. (English) Zbl 1293.93087 Eur. J. Control 12, No. 2, 115-130 (2006). MSC: 93A30 93A10 PDFBibTeX XMLCite \textit{J.-F. Pétin} et al., Eur. J. Control 12, No. 2, 115--130 (2006; Zbl 1293.93087) Full Text: DOI HAL