Concurrency Reduction of Untimed Latch Protocols - Theory and Practice. - Santosh N. Varanasi; Kenneth S. Stevens; Graham M. Birtwistle (ASYNC, 2010)