Vered Gafni. A Tasking Model for Reactive Systems. In IEEE Real-Time Systems Symposium. pages 258-267, 1989.
@inproceedings{Gafni89, title = {A Tasking Model for Reactive Systems}, author = {Vered Gafni}, year = {1989}, tags = {meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/Gafni89}, cites = {0}, citedby = {0}, pages = {258-267}, booktitle = {IEEE Real-Time Systems Symposium}, }