{Testing Guidelines Conformance by Translating a Graphical Language to Computational Logic}