Tools And Algorithms For The Construction And Analysis Of Systems door Hubert Garavel & John Hatcliff