Tools and Algorithms for the Construction and Analysis of Systems Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings - Brinksma, Ed; Brinksma, Ed (Springer Berlin Heidelberg : Imprint: Springer, 1997)