.CRML.ETL.UsersGuide.Overview .CRML.ETL.UsersGuide.OverviewETL is a language for the simulation of temporal requirements on cyber-physical systems.
This library is a Modelica implementation of ETL.
For more information, please consult the following references:
§ Bouskela D. and Jardin (2018), “ETL: A New Temporal Language for the Verification of Cyber-Physical Systems,” 2018 Annual IEEE International Systems Conference (SysCon).