A Formal Approach Towards Risk-Aware Service Level Analysis and Planning | IEEE Conference Publication | IEEE Xplore