Verificationtoolofhybridautomata.Maybeusefulinapplicationsofembeddedsystem.