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