Petri nets-based method for component-interaction related hazard identification in computer-controlled systems | IEEE Conference Publication | IEEE Xplore