"Modeling interleaved hidden processes."

Niels Landwehr (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics