A Model - based Generation System of Plant Control Logic