Fuyuki Ishikawa Kenji Taguchi Nobukazu Yoshioka Shinichi Honiden What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project. 57-71 2009 TFM http://dx.doi.org/10.1007/978-3-642-04912-5_5 conf/tfm/2009 db/conf/tfm/tfm2009.html#IshikawaTYH09