Embedded Systems: Design, Analysis and Verification

Embedded Systems: Design, Analysis and Verification
4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013,
Paderborn, Germany, June 17-19, 2013