A Verilog-A model for a light-activated semiconductor gas sensor | Publicación