Tools and Algorithms For the Construction and Analysis Of Systems by Ed Brinksma