Systems, methods and apparatus for implementation of formal specifications derived from… Grant US-7739671-B1 United States of America 15 Jun 2010