Thomas Ball Vladimir Levin Fei Xie Automatic Creation of Environment Models via Training. 93-107 http://dx.doi.org/10.1007/978-3-540-24730-2_7 2004 conf/tacas/2004 TACAS db/conf/tacas/tacas2004.html#BallLX04