Fault Latencies of Concurrent Checking FSMs. - Roman Goot; Ilya Levin; Sergei Ostanin (DSD, 2002)