Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach - Montali, Marco (Springer-Verlag Berlin Heidelberg, 2010)