@unpublished{TUW-236959, author = {Kaufmann, Petra and Kronegger, Martin and Pfandler, Andreas and Seidl, Martina and Widl, Magdalena}, title = {A SAT-based Debugging Tool for State Machines and Sequence Diagrams}, year = {2014}, note = {Vortrag: PUMA/RiSE Workshop, Mondsee; 2014-09-29 -- 2014-10-03} }