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)