Specify and Model Automotive Cyber Physical Systems Using Hybrid Relation Calculus.