Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, the Netherlands, April 2-4, 1997, Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1997)