Synthesis of checker EFSMs from timing diagram specifications. - E. K. Ogoubi; Eduard Cerny (ISCAS (1), 1999)