Левінський, М.; Левінський, В. ПРИКЛАД МОДЕЛЮВАННЯ СИСТЕМИ ЛОГІЧНОГО КЕРУВАННЯ В ПРОГРАМІ STATEFLOW. ATBP 2024, 16, 15-20.