Simulation of Multi-Formalism Models with ModHel'X | IEEE Conference Publication | IEEE Xplore