Specification and Design Methodology for Real-Time Embedded Systems