Christophe Ponsard, Philippe Massonet, André Rifaut, Jean-François Molderez, Axel van Lamsweerde, Hung Tran Van. Early Verification and Validation of Mission Critical Systems. Electronic Notes in Theoretical Computer Science, 133:237-254, 2005. [doi]
Abstract is missing.