Compositional Reachability Analysis Using Process Algebra. - Wei Jen Yeh; Michal Young (Symposium on Testing, Analysis, and Verification, 1991)

Controlling state explosion in reachability analysis - Wei Jen Yeh (1993)

Re-designing Tasking Structures of Ada Programs for Analysis: A Case Study. - Wei Jen Yeh; Michal Young (Softw. Test. Verification Reliab., 1994)