Comparing the LTSmin and NuSMV reachability tools via automatic translation of their respective input languages