Executable requirements: opportunities and impediments | IEEE Conference Publication | IEEE Xplore