Deriving executable process descriptions from UML. - Elisabetta Di Nitto; Luigi Lavazza; Marco Schiavoni; Emma Tracanella; Michele Trombetta (ICSE, 2002)