Architecture for model-based UHF RFID system design verification | IEEE Conference Publication | IEEE Xplore