Embedded Systems Design Analysis and Verification IFIP Advances in Information and Communication Technology | lit.salon