An application of Petri net reduction for Ada tasking deadlock analysisSol M. ShatzShengru Tuet al.1996IEEE TPDS