Jesserand Hedrich. A Symbolic Approach for Mixed-signal Model Checking. IEEE, 2008, doi:10.1109/aspdac.2008.4483984.