K. H. (Kane) Kim: Challenges and Future Directions of Cyber-Physical System Software. COMPSAC 2010: 10-13