VERDS: Modeling and Verification of Finite State Systems with Discrete Time Models by Symbolic Techniques | IEEE Conference Publication | IEEE Xplore