From Interaction Overview Diagrams to Temporal Logic