@InProceedings{vHOPR98,
  Author        = {F.W. von Henke and S. Owre and S. Pfab and H. Rue{\ss}},
  Title         = {On Light-Weight Verification and Heavy-Weight Testing},
  Year          = {1998},
  Address       = {Malente},
  Booktitle  = {Proceedings of ATOOLS'98 Workshop on ``Tool Support for 
                   System Specification, Development, and
		  Verification'', Malente}, 
}