ngx-timed-automata (npm): this is an angular timed automata library
Keywords: automata|timed