"Comparing Three Notations for Defining Scenario-Based Model Tests: A ..."

Bernhard Hoisl, Stefan Sobernig, Mark Strembeck (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics