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

A method of Predicting the Maintenance period of Embedded Systems for Preventing Breach of their Time Requirements. - Dmytro V. Fedasyuk; Tetyana Marusenkova; Ratybor Chopey (Int. J. Comput., 2018)