New analytical method to compute availability non-compliance risks for lambda services. - Darli A. A. Mello; Rafael B. Lourenco (OFC/NFOEC, 2013)