Advances in Enterprise Engineering VII - Proper, Henderik A.; Aveiro, David; Gaaloul, Khaled; Aveiro, David; Gaaloul, Khaled (Springer Berlin Heidelberg, 2013)