Extend STPA Method Using Hybrid Dynamic Theory | IEEE Conference Publication | IEEE Xplore