Semantics foundations of PsyC based on synchronous Logical Execution Time. - Fabien Siron; Dumitru Potop-Butucaru; Robert de Simone; Damien Chabrol; Amira Methni (CPS-IoT Week Workshops, 2023)

Methodology for the formal verification of temporal properties for real-time safety-critical applications based on logical time. (Méthodologie de vérification formelle de propriétés temporelles pour les applications temps-réel critiques basées sur le concept de temps logique). - Fabien Siron (2023)