@InProceedings{	  demeyer.hahnle.ea:automating:a,
  author	= {Serge Demeyer and Reiner H\"ahnle and Heiko Mantel},
  title		= {Automating Software Re-engineering - Introduction to the
		  ISoLA 2022 Track},
  booktitle	= {Proceedings of the 11th International Symposium on
		  Leveraging Applications of Formal Methods (ISoLA)},
  publisher	= {Springer},
  year		= 2022,
  pages		= {195--200}
}