Andreas GerstlauerBooksEmbedded System Design : Topics, Techniques and Trends : IFIP TC10 Working ConferenceEmbedded System DesignSystem DesignMemocode '15SpecCSystem designAuthor data: Open Library