A theory for setting the "safety margin" on availability guarantees in an SLA | IEEE Conference Publication | IEEE Xplore