"MIRA: A tooling-framework to experiment with model-based requirements ..."

Sabine Teufl, Dongyue Mou, Daniel Ratiu (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics