Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding

Figure 9

A screenshot of ASBPQL Querier.