Use of Timed Automata Models in the Design of Real-time Control Network Elements | IEEE Conference Publication | IEEE Xplore