Formal Methods and Models for System Design (A System-Level Perspective)

Rajesh Gupta , Paul Le Guernic , Jean-Pierre Talpin