@InCollection{KlaNieSun:casestudyautver,
  author = 	 {Klarlund, N. and Nielsen, M. and Sunesen, K.},
  title = 	 {A case study in automated verification
		based on trace abstractions},
  booktitle = 	 {Formal System Specification,
       		 The RPC-Memory Specification Case Study},
  publisher =	 {Springer Verlag},
  year =	 1996,
  editor =	 {Broy, M. and Merz, S. and Spies, K.},
  volume =	 1169,
  series =	 {LNCS},
  pages  = {341-374},
}