Sebastian Hagen, Michael Seibold, Alfons Kemper. Efficient verification of IT change operations or: How we could have prevented Amazon's cloud outage. In 2012 IEEE Network Operations and Management Symposium, Maui, HI, USA, April 16-20, 2012. pages 368-376, IEEE, 2012. [doi]
Abstract is missing.