De Nicola, Rocco and Fantechi, Alessandro and Gnesi, Stefania and Ristori, Gioia An action based framework for verifying logical and behavioural properties of concurrent systems. In: Computer Aided Verification (CAV 1991). Lecture Notes in Computer Science, 575 . Springer, pp. 37-47. ISBN 3-540-55179-4 (1992)