Pages that link to Hybrid Multi-agent Systems: Modeling, Specication and Verication