Tools and Algorithms for the Construction and Analysis of SystemsCormac Flanagan, Barbara König₹5,678
