CTL Viewer implemented by Alloy