G. Delzanno, J. Raskin, and L. Begin. CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification, page 298--310. London, UK, Springer-Verlag, (2001)
L. Raskin, E. Rivlin, and M. Rudzsky. VISAPP (2), page 459-465. INSTICC - Institute for Systems and Technologies of Information, Control and Communication, (2007)
F. Harvey, and R. Raskin. Geospatial Semantics and the Semantic Web, volume 12 of Semantic Web and Beyond: Computing for Human Experience, page 87-96. Springer, (2011)