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)
M. Meiss, B. Goncalves, J. Ramasco, A. Flammini, and F. Menczer. Proc. 7th Workshop on Algorithms and Models for the Web Graph (WAW), volume 6516 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, (2010)
B. Smith, and H. Delugach. Proceedings of the 17th International Conference on Conceptual Structures (ICCS 2009), volume 5662 of Lecture Notes in Computer Science, page 293-306. Springer, (2009)