"Validation of Interlocking Systems by Testing their Models."

Andrea Bonacchi, Alessandro Fantechi (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics