An Intuitive Approach for Specifying Interface Constraint | IEEE Conference Publication | IEEE Xplore