Bastide, et al.. A Formal Notation and Tool for the Engineering of CORBA Systems. no. 14, Wiley, 2000, doi:10.1002/1096-9128(20001210)12:14<1379::aid-cpe514>3.0.co;2-b.