Added LTL model checking view (just layout)