Adomas Svirskas Carine Courbis Refik Molva Justinas Bedzinskas Compliance Proofs for Collaborative Interactions using Aspect-Oriented Approach. 33-40 2007 conf/IEEEscc/2007w IEEE SCW http://doi.ieeecomputersociety.org/10.1109/SERVICES.2007.23 db/conf/IEEEscc/scw2007.html#SvirskasCMB07