Combining control executives and software specifications