Petri Net Based Verification of Causal Dependencies in Electronic Control Unit Test Cases | IEEE Conference Publication | IEEE Xplore