Haruka Nakao Shigeo Yoshikawa Daniel Port Yuko Miyamoto Masafumi Katahira Comparing Model Generated with Expert Generated IV&V Activity Plans. 71-80 2007 conf/esem/2007 ESEM http://doi.ieeecomputersociety.org/10.1109/ESEM.2007.32 db/conf/esem/esem2007.html#NakaoYPMK07