To learn more about Smyle and its theoretical foundations, please look up the following documents:

• Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning. Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, and Martin Leucker.Technical Report AIB-2006-12, RWTH Aachen, Germany, October 2006. 21 pages. (PDF | PS.GZ)
• Slides of ETAPS 2007 (TACAS conference). (PDF | PS.GZ)