Real-time Case Studies (10) Using COSMIC for Real-Time software Rice Cooker Case Study v2.0.1 Valve Control Case Study v1.0.1 Business Application Case Studies (7) ACME Car Hire Case Study v1.0.1 Course Registration (‘C-REG’) System Case Study, v2.0.1 Web Advice Module version v1.1.1
