The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae