Modeling cyber-physical systems for automatic verification | IEEE Conference Publication | IEEE Xplore