The QSM Algorithm and its Application to Software Behavior Model Induction