Best Tool Paper Award for Till Hofmann and Stefan Schupp at SEFM

Till Hofmann and Stefan Schupp won the Best Tool Paper Award at the 19th International Conference on Software Engineering and Formal Methods with their tool paper "TACoS: A Tool for MTL Controller Synthesis".