Rémi Bastide Ousmane Sy Philippe A. Palanque A formal notation and tool for the engineering of CORBA systems. 1379-1403 2000 12 Concurrency - Practice and Experience 14 db/journals/concurrency/concurrency12.html#BastideSP00