selected publications conference paper IEEE 802.1AS Multi-Domain Aggregation for Virtualized Distributed Real-Time Systems. . 2023 Model checking a fault-tolerant startup algorithm: from design exploration to exhaustive fault simulation. . 2004