Hardware description languages
Synchronous programming languages
Model checkers
Formal methods
Timed automaton
Esterel
Model checking
Uppaal Model Checker
SIGNAL