"Decomposing specifications with concurrent outputs to resolve state coding ..."

Hemangee K. Kapoor, Mark B. Josephs (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics