A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems