A. Ledeczi, A. Bakay, M. Maroti, P. Volgyesi, G. Nordstrom et al., Composing domain-specific design environments, Computer, vol.34, issue.11, pp.44-51, 2001.
DOI : 10.1109/2.963443
URL : http://real.mtak.hu/4598/1/1116623.pdf

B. C. Grau, I. Horrocks, B. Motik, B. Parsia, P. Patel-schneider et al., OWL 2: The next step for OWL, Web Semantics: Science, Services and Agents on the World Wide Web, vol.6, issue.4, pp.309-322, 2008.
DOI : 10.1016/j.websem.2008.05.001

V. Dubinin, V. Vyatkin, C. Yang, and C. Pang, Automatic generation of automation applications based on ontology transformations, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA), pp.1-4, 2014.
DOI : 10.1109/ETFA.2014.7005293

V. Vyatkin, Software Engineering in Industrial Automation: State-of-the-Art Review, IEEE Transactions on Industrial Informatics, vol.9, issue.3, pp.1234-1249, 2013.
DOI : 10.1109/TII.2013.2258165

G. Zhabelova, C. Yang, S. Patil, C. Pang, J. Yan et al., Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence, 2014 12th IEEE International Conference on Industrial Informatics (INDIN), pp.411-417, 2014.
DOI : 10.1109/INDIN.2014.6945548

V. Dubinin, V. Vyatkin, and H. M. Hanisch, Modelling and Verification of IEC 61499 Applications using Prolog, 2006 IEEE Conference on Emerging Technologies and Factory Automation, pp.774-781, 2006.
DOI : 10.1109/ETFA.2006.355449

V. Dubinin and V. Vyatkin, Graph transformation-based approach to the synthesis of formal models of IEC 61499 function blocks systems, Proceedings of the Institutes of Higher Education. Volga region. Technical sciences, 2008.

W. Dai, V. Dubinin, and V. Vyatkin, Automatically Generated Layered Ontological Models for Semantic Analysis of Component-Based Control Systems, IEEE Transactions on Industrial Informatics, vol.9, issue.4, pp.2124-2136, 2013.
DOI : 10.1109/TII.2012.2235450

W. Dai, V. N. Dubinin, and V. Vyatkin, Migration From PLC to IEC 61499 Using Semantic Web Technologies, Systems, Man, and Cybernetics: Systems PP(99), pp.1-1, 2013.
DOI : 10.1109/TSMCC.2013.2264671
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.689.1756

J. Almendros-jiménez and L. Iribarne, ODM-based UML Model Transformations using Prolog.," in In Model-Driven Engineering, Logic and Optimization: friends or foes?, 2011.

T. Prolog-library-for, O. Available, G. Black, and V. Vyatkin, Intelligent Component-Based Automation of Baggage Handling Systems With IEC 61499, Automation Science and Engineering IEEE Transactions on, vol.7, issue.2, pp.337-351, 2010.

J. Yan and V. V. Vyatkin, Distributed execution and cyber-physical design of Baggage Handling automation with IEC 61499, 2011 9th IEEE International Conference on Industrial Informatics, pp.573-578, 2011.
DOI : 10.1109/INDIN.2011.6034942

B. N. Grosof, I. Horrocks, R. Volz, and S. Decker, Description logic programs, Proceedings of the twelfth international conference on World Wide Web , WWW '03, 2003.
DOI : 10.1145/775152.775160