Modeling and simulation of Cyber-Physical Systems with SICYPHOS | IEEE Conference Publication | IEEE Xplore