Larsen, K. G. A Constraint Oriented Proof Methodology Based on Modal Transition Systems. BRICS 1994, 1.