Rémi Bastide Philippe A. Palanque Ousmane Sy Duc-Hoa Le David Navarre Petri Net Based Behavioural Specification of CORBA Systems. 66-85 http://link.springer.de/link/service/series/0558/bibs/1639/16390066.htm 1999 conf/apn/1999 ICATPN db/conf/apn/icatpn99.html#BastidePSLN99