aDSL: modeling and evaluating Cyber-Physical Systems