Huisman, Gurov, 2011. CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-642-18070-5_8