Alarm design for nonlinear stochastic systems | IEEE Conference Publication | IEEE Xplore