RATSY - A New Requirements Analysis Tool with Synthesis.

Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Knighofer, Marco Roveri, Viktor Schuppan, Richard Seeber

Browse the full CAV paper archive.