Christophe Ponsard, Philippe Massonet, Jean-François Molderez, André Rifaut, Axel van Lamsweerde, Hung Tran Van. Early verification and validation of mission critical systems. Formal Methods in System Design, 30(3):233-247, 2007. [doi]
Abstract is missing.