Foraml Verification for Hybrid Systems with Apricot