Abhik Roychoudhury I. V. Ramakrishnan Inductively Verifying Invariant Properties of Parameterized Systems. 101-139 2004 11 Autom. Softw. Eng. 2 http://springerlink.metapress.com/index/10.1023/B:AUSE.0000017740.35552.88 db/journals/ase/ase11.html#RoychoudhuryR04