Method Engineering: A Formal Description. - Ali Sunyaev; Matthias Hansen; Helmut Krcmar (ISD, 2008)