@InProceedings{	  demeyer.hahnle.ea:automating,
  author	= {Serge Demeyer and Reiner H\"ahnle and Heiko Mantel},
  title		= {Automating Software Re-engineering, Introduction to the
		  ISoLA 2020 Track},
  booktitle	= {International Symposium On Leveraging Applications of
		  Formal Methods, Verification and Validation (ISOLA)},
  year		= 2020
}