Specification capture and yield enhancement in an interactive environment | IET Conference Publication | IEEE Xplore