Gunar SchirnerBooksEmbedded System DesignSystem Level Design from HW/SW to Memory for Embedded SystemsEmbedded Systems Design Analysis and Verification IFIP Advances in Information and Communication TechnologyEmbedded Systems: Design, Analysis and VerificationAuthor data: Open Library