Efficient verification of IT change operations or: How we could have prevented Amazon's cloud outage | IEEE Conference Publication | IEEE Xplore