Verification of complex systems that can be described by a finite state transition system Grant US-9389983-B2 United States of America 12 Jul 2016