@InProceedings{	  gehring.mantel:towards,
  author	= {Maximilian Gehring and Heiko Mantel},
  title		= {Towards A More Sustainable Re-Engineering Of Heterogeneous
		  Distributed Systems Using Cooperating Run-Time Monitors},
  booktitle	= {International Symposium On Leveraging Applications of
		  Formal Methods, Verification and Validation (ISoLA)},
  year		= 2024,
  note		= {(to appear)},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2024/2024-ISoLA-GehringMantel.pdf}
}