I suspect that it's very similar to stuff already in CSP, but stated with hazard functions...statistics-y... Would be useful to get a handle on these definitions.
D. Xu, H. Zhang, Q. Wang, and H. Bao. Proceedings of the 2005 ACM symposium on Solid and physical modeling, page 267--274. New York, NY, USA, ACM, (2005)