K. H. (Kane) Kim Desirable Advances in Cyber-Physical System Software Engineering. 2-4 2010 SUTC/UMC http://doi.ieeecomputersociety.org/10.1109/SUTC.2010.70 conf/sutc/2010 db/conf/sutc/sutc2010.html#Kim10