A Design of Component-based Modeling and Verification Tools for Embedded and Real-time Systems

2nd International Joint Workshop on Embedded Software and System Engineering Design Challenges, Daegu, Korea, May 20-23, 2008.