Vered Gafni A Tasking Model for Reactive Systems. 258-267 1989 IEEE Real-Time Systems Symposium db/conf/rtss/rtss1989.html#Gafni89