Industrial development of a real-time operating system, using formal development and verification techniques. - Stefano Pepi (2015)

Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems. - Alessandro Fantechi; Stefano Pepi (AMARETTO@MODELSWARD, 2016)

Schedulability Analysis of Pre-runtime and Runtime Scheduling Algorithm of an Industrial Real Time System. - Stefano Pepi; Alessandro Fantechi (MODELSWARD (Revised Selected Papers), 2016)