Hybrid and Real- Time Systems. International Workshop, HART'97. Proceedings