Verification Languages. - Aarti Gupta; Ali Alphan Bayazit; Yogesh S. Mahajan (The Industrial Information Technology Handbook, 2005)

Complementary use of runtime validation and model checking. - Ali Alphan Bayazit; Sharad Malik (ICCAD, 2005)

Verification Languages. - Aarti Gupta; Ali Alphan Bayazit; Yogesh S. Mahajan (Embedded Systems Handbook, 2005)

Verification Driven Formal Architecture and Microarchitecture Modeling. - Yogesh S. Mahajan; Carven Chan; Ali Alphan Bayazit; Sharad Malik; Wei Qin (MEMOCODE, 2007)