Applying Petri net reduction to support Ada-tasking deadlock detection | IEEE Conference Publication | IEEE Xplore