Manferdini, U., S. Traverso, M. Mellia, E. Tego, F. Matera, Z. Ben Houidi, M. Milanesio, P. Michiardi, D. Rossi, D. Cicalese, et al.,  Cross-check of Analysis Modules and Reasoner Interactions, no. D4.3, 10/2014.