Interactive requirements validation for reactive systems through virtual requirements prototype | IEEE Conference Publication | IEEE Xplore