Building Precise UML Constructs to Model Concurrency Using OCL. - Agustín Goñi; Yadran Eterovic (UML, 2004)