4 works on record
Embedded Systems Design Analysis and Verification IFIP Advances in Information and Communication Technology
Embedded Systems: Design, Analysis and Verification
System Level Design from HW/SW to Memory for Embedded Systems
Embedded System Design