Communicating TILCO: a model for real-time system specification | IEEE Conference Publication | IEEE Xplore