WA2>Prof. Aloysius Mok. In the past few years, we have worked towards laying the groundwork for establishing a firm theoretical foundation for real-time systems and also to build design tools based on this foundation. Our work can be categorized into three areas as follows: Specification and...