Taylor L. Riché, Rui C. Gonçalves, Bryan Marker, Don S. Batory: Pushouts in software architecture design. GPCE 2012: 84-92