Mordinyi, R., Moser, T., & Biffl, S. (2012). Model-based Validation of Integrated Automation Systems Engineering Environments. In Proceedings of 7th Vienna International Conference on Mathematical Modelling (MATHMOD’12) - Modelling and Model Transformation in Automation Technologies. 7th Vienna International Conference on Mathematical Modelling (MATHMOD’12), Vienna, Austria. http://hdl.handle.net/20.500.12708/54402