Timed CSP for Safety Specification of Hybrid System | IEEE Conference Publication | IEEE Xplore