US8751094B2 - Method for Validation of a Graphically Based Executable Control Specification Using Model Extraction