Gabor Karsai Janos Sztipanovits Model-Integrated Development of Cyber-Physical Systems. 46-54 2008 SEUS http://dx.doi.org/10.1007/978-3-540-87785-1_5 conf/seus/2008 db/conf/seus/seus2008.html#KarsaiS08