Analysis, Synthesis and Verification of Hierarchical Hybrid Control Systems