Jessica Chen, Hanmei Cui: Translation from Adapted UML to Promela for CORBA-Based Applications. SPIN 2004: 234-251