Some Examples of Industrial Problems Modelling under SCILAB-SCICOS. - Bruno Lacabanne; Zakia Benjelloun-Dabaghi; Daniel Bouskela (Modelling, Identification and Control, 2003)

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)

Modeling and simulation of complex ThermoSysPro model with OpenModelica - Dynamic Modeling of a combined cycle power plant. - El Hefni Baligh; Daniel Bouskela (Modelica, 2017)

ETL: A new temporal language for the verification of cyber-physical systems. - Daniel Bouskela; Audrey Jardin (SysCon, 2018)

A Survey on Systems Engineering Methodologies for Large Multi-Energy Cyber-Physical Systems. - Elmehdi Azzouzi; Audrey Jardin; Daniel Bouskela; Faïda Mhenni; Jean-Yves Choley (SysCon, 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)

A Model-Based Engineering Methodology for Stakeholders Coordination of Multienergy Cyber-Physical Systems. - Elmehdi Azzouzi; Daniel Bouskela; Audrey Jardin; Faïda Mhenni; Jean-Yves Choley (IEEE Syst. J., 2022)