A framework for modeling availability of E-business systems | IEEE Conference Publication | IEEE Xplore