A process-theoretic state-based framework for live supervision | IEEE Conference Publication | IEEE Xplore