Availability Monitor for a Software Based System | IEEE Conference Publication | IEEE Xplore