Design of an Executable Specification Language Using Eye Tracking | IEEE Conference Publication | IEEE Xplore