G. Nicolescu

• Global specification and validation of embedded systems
• Model-based design for embedded systems