Pervasive Layered Verification of a Distributed Real-Time System | IEEE Conference Publication | IEEE Xplore