Goulão, Miguel & Brito e Abreu, F. (2003). Bridging the gap between Acme and UML for CBD. In Mike Barnett, Stephen H. Edwards, Dimitra Giannakopoulou, Gary T. Leavens (Ed.), Workshop on Specification and Verification of Component-Based Systems (SAVCBS'2003), co-located with ESEC/FSE'2003 (pp. 75?79). Iowa State University. https://doi.org/10.5281/zenodo.6462093