Discrete EVent system Specification implementation in Ruby