A unified approach to requirements validation and system verification | IEEE Conference Publication | IEEE Xplore