An approach to Model and Test Automation Systems
B. Kumar, W. Schäfer, J. Jasperneite, in: 3rd International Symposium on Computer, Communication, Control and Automation (3CA 2011), Springer Verlag, Zhuhai, China, 2011.