J.__Xu
Coordinated Exception Handling in Distributed Object Systems: from Model to System Implementation
Developing Control Software for Production Cell II: Failure Analysis
Rigorous development of a safety-critical system based on coordinated atomic actions