Derivation of Petri net models of Ada tasking constructs involving time | IEEE Conference Publication | IEEE Xplore