A Conversion Method from IDEF3 to Stochastic Behavior Tree | IEEE Conference Publication | IEEE Xplore