Modular Design and Verification of Distributed Adaptive Real-Time Systems Based on Refinements and Abstractions | Publicación