"Counter play-out: executing unrealizable scenario-based specifications."

Shahar Maoz, Yaniv Sa'ar (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics