Jan Kubovy, Verena Geist, Felix Kossak. A Formal Description of the ITIL Change Management Process Using Abstract State Machines. In Abdelkader Hameurlain, A Min Tjoa, Roland Wagner, editors, 23rd International Workshop on Database and Expert Systems Applications, DEXA 2012, Vienna, Austria, September 3-7, 2012. pages 65-69, IEEE Computer Society, 2012. [doi]
Abstract is missing.