Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method