SWITCH

A technology for developing software for reactive systems is proposed that supports the stages of the subject domain investigation, analysis, design, implementation, debugging, certification, and documenting. The technology is based on the automaton approach.