1. Kaiyu, W.; Man, K.L. & Hughes, J. (2010). Towards a unified framework for cyber-physical systems, Proceedings of the 1st International Symposium on Cryptography, ISBN 978-1-4244-9595-5, pp. 292-295, Stockholm.
2. Parida, S.K.; Umesh-Babu, S. &Madhab, G.B. (2006). Online monitoring and control of mobile robots using JAVA, Annals of DAAAM for 2006 & Proceedings of the 17th International DAAAM Symposium, ISSN 1726-9679, ISBN 3-901509-57-7, Katalinic, B.(Ed.), pp.285-286, DAAAM, Vienna.
3. Mellal, N.; Dapoigny, R. &Foulloy, L. (2008). Formal method for aligning goal ontologies, Available from: http://www.springerlink.com/content/e6n1pl0277817615/, Accessed: 2011-06-12.
4. Ganter, B. &Wille R. (1999), Formal concept analysis: mathemaical foundations, Springer, ISBN 3-540-62771-5, Heidelberg.
5. Dapoigny, R.; Barlatier, P.; Foulloy, L. & Benoit, E. (2005). Formal goal generation for intelligent control systems, Proceedings of the 18th International conference oninnovations, ISBN 3-540-26551-1, Ali, M. & Esposito, F. (Eds.), pp. 712-721, Springer, London.