Logical Time Models to Study Cyber-Physical Systems. - Hassan Khalil El Zein; Grygoriy Zholtkevych (ICTERI, 2017)

Two Approaches to Modelling Logical Time in Cyber-Physical Systems. - Grygoriy Zholtkevych; Hassan Khalil El Zein (ICTERI (Revised Selected Papers), 2017)

Category Methods for Modelling Logical Time Based on the Concept of Clocks. - Grygoriy Zholtkevych; Lyudmyla Polyakova; Hassan Khalil El Zein (ICTERI (Revised Selected Papers), 2018)

Category Methods for Analysis of Two Approaches to Modelling Logical Time Based on Concept of Clocks. - Grygoriy Zholtkevych; Hassan Khalil El Zein; Lyudmila Polyakova (ICTERI Workshops, 2018)