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.