Mode-automata: A new domain-specific construct for the development of safe critical systems.
scientific article; zbMATH DE number 1910212