Probabilistic certification of pan-tilt-zoom camera surveillance systems | IEEE Conference Publication | IEEE Xplore