@TechReport{BKKL06,
  author =       {Benedikt Bollig and Joost-Pieter Katoen and Carsten Kern and Martin Leucker},
  title =        {Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning},
  institution =  {RWTH Aachen},
  year =         {2006},
  number =       {AIB-2006-12},
  month =        oct,
  url =          {http://aib.informatik.rwth-aachen.de/2006/2006-12.ps.gz}
}