K. Lüttich, B. Krieg-Brückner, and T. Mossakowski. FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, page 109-119. (2004)
K. Lüttich, and T. Mossakowski. Formal Ontology in Information Systems -- Proceedings of the Third International Conference (FOIS-2004), volume 114 of Frontiers in Artificial Intelligence and Applications, page 140-150. IOS Press; Amsterdam; http://www.iospress.nl, (2004)
K. Sathiyamurthy, T. Geetha, and M. Senthilvelan. Proceedings of the International Conference on Advances in Computing, Communications and Informatics, page 1193--1198. New York, NY, USA, ACM, (2012)