A Compositinal Proof Theory for Fault Tolerant Real-Time Distributed Systems.

Henk Schepers Rob Gerth A Compositinal Proof Theory for Fault Tolerant Real-Time Distributed Systems. 34-43 1993 SRDS db/conf/srds/srds93.html#SchepersG93