Achieving a system operational availability requirement (ASOAR) model | IEEE Conference Publication | IEEE Xplore