Test and evaluation techniques using rapid prototyping tools for avionics requirements development | IEEE Conference Publication | IEEE Xplore