Multi-level integrity mechanisms
Totel, E., Beus-Dukic, L., Blanquart, J.P., Deswarte, Y., Nicomette, V., Powell, D. and Wellings, A. 2001. Multi-level integrity mechanisms. in: Powell, D. (ed.) A generic fault-tolerant architecture for real-time dependable systems London, UK Kluwer Academic Publishers. pp. 99-119