Mauro C. ZanellaBooksAnalysis, Architectures and Modelling of Embedded SystemsFrom Specification to Embedded Systems ApplicationAuthor data: Open Library