Discrete Event System Specification

Source Code on GitHub.