A Compositional Semantics for Fault-Tolerant Real-Time Systems.

J. Coenen Jozef Hooman A Compositional Semantics for Fault-Tolerant Real-Time Systems. 33-51 1992 conf/ftrtft/1992 FTRTFT db/conf/ftrtft/ftrtft1992.html#CoenenH92