HOW: Making Requirements Verifiable | IET Conference Publication | IEEE Xplore