SALT—Structured Assertion Language for Temporal Logic Jonathan Streit, Andreas Bauer, Martin Leucker IN PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS (ICFEM), MACAU, CHINA, 2006 https://itestra.com/wp-content/uploads/2018/04/06_itestra_salt_structured_assertion_language.pdf