Visualize the Traces of NuSMV and NuXMV