Tools and algorithms for the construction and analysis of systems second international workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings / - Margaria-Steffen, Tiziana,; Steffen, Bernhard. (Lecture notes in computer science ;)