Modeling and simulation of Cyber-Physical Systems with SICYPHOS.