"Model Checking for Action-Based Logics."

Alessandro Fantechi, Stefania Gnesi, Gioia Ristori (1994)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics