Samik Basu C. R. Ramakrishnan Compositional analysis for verification of parameterized systems. 211-229 2006 354 Theor. Comput. Sci. 2 http://dx.doi.org/10.1016/j.tcs.2005.11.016 db/journals/tcs/tcs354.html#BasuR06