LTL visualization