MODEL-BASED DESIGN OF CODE FOR PLC CONTROLLERS Topics: Discrete Event Systems; Real-Time Systems Control In Proceedings of the 6th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO, 130-135, 2009 , Milan, Italy