Browse by author - Symbolic analysis and Component-based design for Modular Real-Time Embedded Systems Access content directly