PanLinx
English
eng-000
time-variable automaton
PanLex
