"Verifying large modular systems using iterative abstraction refinement."

Jussi Lahtinen, Tuomas Kuismin, Keijo Heljanko (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics