G. Nicolescu

Global specification and validation of embedded systems

Model-based design for embedded systems