Modelling and Simulation of the Dynamics of Complex Socio-Cyber-Physical Systems and Large Scale Systems of Systems all Along Their Lifetime. - Nguyen Thuy (CSDM, 2016)

On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution. - Alfredo Garro; Andrea Tundis; Daniel Bouskela; Audrey Jardin; Nguyen Thuy; Martin Otter; Lena Buffoni; Peter Fritzson; Martin Sjölund; Wladimir Schamai; Hans Olsson (ISSE, 2016)

Requirements modelling to help decision makers to efficiently renovate energy systems of urban districts. - Mathias Bouquerel; Enrique Kremers; Jonathan van der Kamp; Nguyen Thuy; Audrey Jardin (SummerSim, 2019)

Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica. - Daniel Bouskela; Alberto Falcone; Alfredo Garro; Audrey Jardin; Martin Otter; Nguyen Thuy; Andrea Tundis (Requir. Eng., 2022)