Specification and Verification of Declarative Open Interaction Models - Montali, Marco; Mylopoulos, John; Sadeh, Norman M. (Springer Berlin Heidelberg, 2010)