Toward an integrated framework for the simulation, formal analysis and enactment of discrete events systems models | IEEE Conference Publication | IEEE Xplore