Advances in Enterprise Engineering VI - Aalst, Wil van der; Mylopoulos, John; Aveiro, David; Barjis, Joseph (Springer Berlin Heidelberg, 2012)