A Formal Definition of Dynamic Structure Hybrid Simulation Model | IEEE Conference Publication | IEEE Xplore