Method and system for generating stateflow models from software requirements Grant US-9965252-B2 United States of America 08 May 2018