Dynamic Software Updates in Cyber-Physical Systems. - Mi Jeong Park; Dong Kwan Kim; Wontae Kim 001; Seung-Min Park 001 (ICTC, 2010)