Reconfigurable Hierarchical Timed Automata: Modeling and Stochastic Verification. - Roufaida Bettira; Laid Kahloul; Mohamed Khalgui; Zhiwu Li 001 (SMC, 2019)

A Novel Approach for Repairing Reconfigurable Hierarchical Timed Automata. - Roufaida Bettira; Laid Kahloul; Mohamed Khalgui (ENASE, 2020)