Specification of user-interfaces using CRUISE/OBSERV | IEEE Conference Publication | IEEE Xplore