changed formula for deadline miss probability