Formal method for PSC design optimization of 13.56 MHz resistive Wireless Analog Passive Sensors (rWAPS) | IEEE Conference Publication | IEEE Xplore