Mohd Syazwan Abdullah Richard F. Paige Chris Kimble Ian D. Benest 871-878 2007 SERA http://doi.ieeecomputersociety.org/10.1109/SERA.2007.36 conf/sera/2007 db/conf/sera/sera2007.html#AbdullahPKB07