A Verilog-A Model for a Light-Activated Semiconductor Gas Sensor | IEEE Journals & Magazine | IEEE Xplore