SHIFT and SMART-AHS: A Language for Hybrid System Engineering, Modeling and Simulation