Manfred Broy Applicative Real-Time Programming. 259-264 1983 conf/ifip/1983 IFIP Congress db/conf/ifip/ifip83.html#Broy83