ByNobleID
    Toward an integrated framework for the simulation, formal analysis and enactment of discrete events systems models | NobleID