Pierre Dupont Bernard Lambeau Christophe Damas Axel van Lamsweerde The QSM Algorithm and its Application to Software Behavior Model Induction. 77-115 2008 22 Applied Artificial Intelligence 1&2 http://dx.doi.org/10.1080/08839510701853200 db/journals/aai/aai22.html#DupontLDL08