Joel Huselius Johan Andersson Hans Hansson Sasikumar Punnekkat Automatic Generation and Validation of Models of Legacy Software. 342-349 2006 conf/rtcsa/2006 RTCSA http://doi.ieeecomputersociety.org/10.1109/RTCSA.2006.19 db/conf/rtcsa/rtcsa2006.html#HuseliusAHP06