Multi-agent verification and validation for RFID system architecture | IEEE Conference Publication | IEEE Xplore