A Synthesis Technique for Binary Input-Binary Output Synchronous Sequential Moore Machines | IEEE Journals & Magazine | IEEE Xplore