A method, an apparatus and a computer program product are described for automatically generating a state-based program for a component of a system consisting of a plurality of components communicating with each other, wherein the program is generated from a specification of the system, the specification...http://www.google.com/patents/US6405361?utm_source=gb-gplus-sharePatent US6405361 - Automatically generating a program
