Title: Symbolic methods and tools for discrete event dynamic systems