"Compositional nonblocking verification for extended finite-state automata ..."

Sahar Mohajerani, Robi Malik, Martin Fabian (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics