Models Meet Data: Challenges to Create Virtual Entities for Digital Twins. - Mark van den Brand; Loek Cleophas; Raghavendran Gunasekaran; Boudewijn R. Haverkort; David A. Manrique Negrin; Hossain Muhammad Muctadir (MoDELS (Companion), 2021)

Verification of Digital Twins through Statistical Model Checking. - Raghavendran Gunasekaran; Boudewijn R. Haverkort (PoEM Companion, 2024)

Current trends in digital twin development, maintenance, and operation: an interview study. - Hossain Muhammad Muctadir; David A. Manrique Negrin; Raghavendran Gunasekaran; Loek Cleophas; Mark van den Brand; Boudewijn R. Haverkort (Softw. Syst. Model., 2024)

Behavioral analysis of a digital twin using logging and model learning. - Raghavendran Gunasekaran; Boudewijn Haverkort; Loes Kruger (J. Object Technol., 2025)

Verification of Digital Twins using Classical and Statistical Model Checking. - Raghavendran Gunasekaran; Boudewijn R. Haverkort (ASQAP, 2025)