Analysis of distributed control systems using timed automata with guards and dioid algebra | IEEE Conference Publication | IEEE Xplore