Title: Software for state event observation theory and its application to supervisory control