Tools and algorithms for the construction and analysis of systems first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers - Brinksma, Ed (Lecture notes in computer science, 1995)