Incremental Verification of Architecture Specification Language for Real-Time Systems. - Jeffrey J. P. Tsai; A. Prasad Sistla; Avinash Sahay; Raymond A. Paul (Int. J. Softw. Eng. Knowl. Eng., 1998)

An Incremental Verification Algorithm for Real-Time Systems. - Avinash Sahay; Jeffrey J. P. Tsai; A. Prasad Sistla (Int. J. Softw. Eng. Knowl. Eng., 1999)

Knowledge-Based Software Architectures: Acquisition, Specification, and Verification. - Jeffrey J. P. Tsai; Alan Liu; Eric Y. T. Juan; Avinash Sahay (IEEE Trans. Knowl. Data Eng., 1999)

Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems. - Jeffrey J. P. Tsai; Eric Y. T. Juan; Avinash Sahay (IEEE Trans. Knowl. Data Eng., 2003)

Knowledge Verification. - Jeffrey J. P. Tsai; Du Zhang; Avinash Sahay; Eric Y. T. Juan (Wiley Encyclopedia of Computer Science and Engineering, 2008)