Specification and Verification of Declarative Open Interaction Models : A Logic-Based Approach - Marco Montali ((Lecture Notes in Business Information Processing))