Pages that link to Multi-agent Systems:Modeling and verification Using Hybrid Automata