Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets. - Scott Little; David Walter; Chris J. Myers; Robert A. Thacker; Satish Batchu; Tomohiro Yoneda (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2011)

LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits. - Andrew N. Fisher; Satish Batchu; Kevin R. Jones; Dhanashree Kulkarni; Scott Little; David Walter; Chris J. Myers (MWSCAS, 2014)