An integrated systems engineering framework for supervisor synthesis, verification, and performance evaluation | IEEE Conference Publication | IEEE Xplore