Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP | IEEE Conference Publication | IEEE Xplore