Specifying Communication Behaviours between Components with Real-Time rCOS - A Case Study ATP | IEEE Conference Publication | IEEE Xplore