Manfred Broy Challenges in modeling cyber-physical systems. 5-6 2013 IPSN https://doi.org/10.1145/2461381.2461385 https://doi.org/10.1109/IPSN.2013.6917552 conf/ipsn/2013 db/conf/ipsn/ipsn2013.html#Broy13