A Rewriting Logic Based Behaviour Semantics of Discrete event systems Models with Complex Dynamics | IEEE Conference Publication | IEEE Xplore