Towards Improved Requirements Engineering with SysML and the User Requirements Notation | IEEE Conference Publication | IEEE Xplore