On-line Software Error Detection by Executable Assertions: From Theory to Practice. - Christophe Rabéjac (SAFECOMP, 1995)

Executable Assertions and Timed Traces for On-Line Software Error Detection. - Christophe Rabéjac; Jean-Paul Blanquart; Jean-Pierre Queille (FTCS, 1996)

State Restoration in a COTS-Based N-Modular Architecture. - Andrea Bondavalli; Felicita Di Giandomenico; Fabrizio Grandoni 002; David Powell; Christophe Rabéjac (ISORC, 1998)

GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems. - David Powell; Jean Arlat; Ljerka Beus-Dukic; Andrea Bondavalli; P. Coppola; Alessandro Fantechi; Eric Jenn; Christophe Rabéjac; Andy J. Wellings (IEEE Trans. Parallel Distributed Syst., 1999)