Optimal model transformation of BPMN to DEVS | IEEE Conference Publication | IEEE Xplore