Hybrid Control And Model-Based Assertions For Autonomous Intersection Management System As A Cyber-Physical System