OCRA: A tool for checking the refinement of temporal contracts