Wei Jen Yeh Michal Young Compositional Reachability Analysis Using Process Algebra. 49-59 1991 Symposium on Testing, Analysis, and Verification http://doi.acm.org/10.1145/120807.120812 db/conf/issta/tav91.html#YehY91