Tamarah Arons Amir Pnueli Sitvanit Ruah Jiazhao Xu Lenore D. Zuck Parameterized Verification with Automatically Computed Inductive Assertions. 221-234 2001 conf/cav/2001 CAV http://link.springer.de/link/service/series/0558/bibs/2102/21020221.htm db/conf/cav/cav2001.html#AronsPRXZ01