Model Matching for Asynchronous Sequential Machines with Uncontrollable Inputs | IEEE Journals & Magazine | IEEE Xplore