Miroslav Popovic Ivan Velikic A Generic Model-Based Test Case Generator. 221-228 2005 conf/ecbs/2005 ECBS http://doi.ieeecomputersociety.org/10.1109/ECBS.2005.11 db/conf/ecbs/ecbs2005.html#PopovicV05