An approach to Model and Test Automation Systems - Kumar, Barath; Schäfer, Wilhelm; Jasperneite, Jürgen (3rd International Symposium on Computer, Communication, Control and Automation (3CA 2011))