Hyunil Shin Ho-Jin Choi Jongmoon Baik Jasmine: A PSP Supporting Tool. 73-83 2007 conf/ispw/2007 ICSP http://dx.doi.org/10.1007/978-3-540-72426-1_7 db/conf/ispw/icsp2007.html#ShinCB07