Clocks Model for Specification and Analysis of Timing in Real-Time Embedded Systems. - Iryna Zaretska; Galyna Zholtkevych; Grygoriy Zholtkevych; Frédéric Mallet (ICTERI, 2013)

Two Semantic Models for Clock Relations in the Clock Constraint Specification Language. - Grygoriy Zholtkevych; Frédéric Mallet; Iryna Zaretska; Galyna Zholtkevych (ICTERI (Revised Selected Papers), 2013)

Distributed Datastores: Towards Probabilistic Approach for Estimation of Dependability. - Kyrylo Rukkas; Galyna Zholtkevych (ICTERI, 2015)