Architectural techniques for the description and validation of distributed real-time systems | IEEE Conference Publication | IEEE Xplore