Abstract: Reflex is a process-oriented language designed for the development of control software in cyber-physical systems. Cost of errors in such systems is very high. Dynamic debugging allows to ...