https://123dok.net/document/zwvo2e47-specification-embedded-control-systems-behaviour-using-interface-automata.html