"Verification of process operations using model checking."

Alexey Voronov, Knut Åkesson (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics