Model Based TTCN-3 Testing of Industrial Automation Systems - First results - Kumar, Barath; Czybik, Björn; Jasperneite, Jürgen (16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2011))