Qinyi Wu Calton Pu Akhil Sahai Roger S. Barga Gueyoung Jung DSCWeaver: Synchronization-Constraint Aspect Extension to Procedural Process Specification Languages. 320-330 2006 conf/icws/2006 ICWS http://doi.ieeecomputersociety.org/10.1109/ICWS.2006.54 db/conf/icws/icws2006.html#WuPSBJ06