Use of Timed Automata Models in the Design of Real-time Control Network Elements. - Margaret Naughton; Donal Heffernan; Gabriel Leen (ETFA, 2006)

A new real-time message scheduling tool for control networks. - Margaret Naughton; Donal Heffernan (Ind. Robot, 2007)