toolsforanalyzingtimedsystemsandresolvingtemporalconstraints(mod- checking, simulation,