Communicating TILCO: a model for real-time system specification