Use of Timed Automata Models in the Design of Real-time Control Network Elements.

Margaret Naughton, Donal Heffernan, Gabriel Leen

Browse the full ETFA paper archive.