Logic of constraints: a quantitative performance and functional constraint formalism | IEEE Journals & Magazine | IEEE Xplore