Tools and Algorithms for the Construction and Analysis of SystemsArie Gurfinkel, Marijn HeuleHäftad443 kr