Tools and algorithms for the construction and analysis of systems : ... International Workshop, TACAS ... (Lecture notes in computer science, 1995)