Derivation of Petri net models of Ada tasking constructs involving time. - F. W. Fong; Sol M. Shatz (COMPSAC, 1989)