Manfred Broy Functional Specification of Time Sensitive Communicating Systems. 153-179 1989 conf/rex/1989 REX Workshop db/conf/rex/rex89.html#Broy89 https://doi.org/10.1007/3-540-52559-9_64