[Abstract] A correct system design can be systematically obtained from a specification model of a real-time system that integrates hybrid measurements In a realistic industrial environment, this has been carried out through ...