Modeling anti-collision protocols for RFID Systems with multiple access interference | IEEE Conference Publication | IEEE Xplore