Modeling and Design of Assured and Adaptive Cyber-Physical Systems