Hierarchical design method for real-time distributed systems

Distributed systems are very large and complex and timing constraints are important for some communication delay. Moreover, as each process is evolutional, it needs to behave however the environment behaves. The author proposes a design method. He defines open timed automata and receptiveness, verification methods of the receptiveness and consistency check, and the Assume-Guarantee style verification method