Timed Circuit Synthesis Using Implicit Methods. - Robert A. Thacker; Wendy Belluomini; Chris J. Myers (VLSI Design, 1999)

A new verification method for embedded systems. - Robert A. Thacker; Chris J. Myers; Kevin R. Jones; Scott Little (ICCD, 2009)

Automatic abstraction for verification of cyber-physical systems. - Robert A. Thacker; Kevin R. Jones; Chris J. Myers; Hao Zheng 001 (ICCPS, 2010)

A New Verification Method for Embedded Systems. - Robert A. Thacker (2010)

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)