Hajime Iwata Junko Shirogane Yoshiaki Fukazawa Automatic Generation of Tutorial Systems from Development Specification. 79-92 2006 conf/fase/2006 FASE http://dx.doi.org/10.1007/11693017_8 db/conf/fase/fase2006.html#IwataSF06