An integrated state- and event-based framework for verifying liveness in supervised systems | IEEE Conference Publication | IEEE Xplore