Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas "95, Aarhus, Denmark, May 19-20, 1995: Selected Papers (Lecture Notes in Computer Science)