[IEEE Comput. Soc 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems - Geneva, Switzerland (1-3 April 1997)] Proceedings of 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems - Combining a computer science and control theory approach to the verification of hybrid systems