A Probabilistic Logic for the Development of Safety-Critical, Interactive Systems.

C. W. Johnson A Probabilistic Logic for the Development of Safety-Critical, Interactive Systems. 333-351 1993 39 International Journal of Man-Machine Studies 2 db/journals/ijmms/ijmms39.html#Johnson93 http://dx.doi.org/10.1006/imms.1993.1064