@InProceedings{ABA01,
  author = 	 {A.  Asteroth and C.  Baier and U.  Assmann},
  title = 	 {Model Checking with formula-dependent abstract models},
  booktitle = 	 {Proc. CAV 2001},
  pages =	 {155-168},
  year =	 2001,
  volume =	 2102,
  series =	 {LNCS}
}