From Interaction Overview Diagrams to Temporal Logic.

Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi

Browse the full MODELS paper archive.