Design and Verification of Industrial Logic Controllers with UML and Statecharts