Design of critical embedded systems: from early specifications to prototypes.

Arnaud Grasset

Browse the full RSP paper archive.