Supervisor synthesis in model-based automotive systems engineering | IEEE Conference Publication | IEEE Xplore