"A Machine-Checked Proof of A State-Space Construction Algorithm."

Néstor Cataño, Radu I. Siminiceanu (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics