Method of developing the behavior models in form of states diagram for complex information systems. - Dmytro V. Fedasyuk; Serhiy Volochiy (CSIT, 2015)

Reliability Synthesis for UAV Flight Control System. - Yuriy Pashchuk; Yuriy Salnyk; Serhiy Volochiy (ICTERI, 2017)

Formalized development of the state transition graphs using the Erlang phase method. - Serhiy Volochiy; Dmytro V. Fedasyuk; Ratybor Chopey (IDAACS, 2017)

Discrete-Continuous Stochastic Model of Insulin Pump Functioning for Health IoT System Using Erlang Phase Method. - Anastasiia Strielkina; Serhiy Volochiy; Vyacheslav S. Kharchenko (ICTERI Workshops, 2019)

Model of Functional Behavior of Healthcare Internet of Things Device Using Erlang Phase Method. - Anastasiia Strielkina; Bohdan Y. Volochiy; Vyacheslav S. Kharchenko; Serhiy Volochiy (ICTERI (Revised Selected Papers), 2019)