Axiomatic-based approach for development of trustworthy and fault-tolerant systems
Design of axiomatic based fault-tolerant systems