ExCHARON: Improved Modeling Language for Cyber-physical Systems Based on CHARON | IEEE Conference Publication | IEEE Xplore