Includes supplementary material: sn.pub/extras
Alberto Sangiovanni-Vincentelli
Embedded systems Middleware communication protocols embedded control embedded software formal methods formal verification modeling operating system reactive systems real-time systems validation systems integration