Formal Modeling and Verification of Multi-agent System Based on Timed Automata | IEEE Conference Publication | IEEE Xplore