Efficient run-time assurance in distributed systems through selection of executable assertions.

Martina Schollmeyer Bruce M. McMillin Efficient run-time assurance in distributed systems through selection of executable assertions. 33-54 2000 52 Journal of Systems and Software 1 http://dx.doi.org/10.1016/S0164-1212(99)00131-4 db/journals/jss/jss52.html#SchollmeyerM00