A Procedure-Based Dynamic Software Update. - Janghoon Lyu; Youngjin Kim; Yongsub Kim; Inhwan Lee (DSN, 2001)