Multiple simultaneous specifications control problem and its application | IEEE Conference Publication | IEEE Xplore