T
imed_
A
utomata.
A
pprox_
B
eta
HTML Presentation