Харченко С. Generation the software component of control system of the formal description their behavioral model and restrictions. EEJET [Internet]. 2010Apr.6 [cited 2024May18];2(3(44):33-6. Available from: https://journals.uran.ua/eejet/article/view/2635