Tools and algorithms for the construction and analysis of systems - Brinksma, Ed, 1957- (Lecture notes in computer science ;, 1997)