On Global Scheduling Independency in Networks of Timed Automata. - Sergio Feo-Arenis; Milan Vujinovic; Bernd Westphal (FORMATS, 2017)

On Implementable Timed Automata. - Sergio Feo-Arenis; Milan Vujinovic; Bernd Westphal (FORTE, 2020)