Procedure-modular specification and verification of temporal safety properties. - Soleimanifard, Siavash; Gurov, Dilian; Huisman, Marieke (Software & Systems Modeling, 2015)