@conference{Beb2020,Author = {Yosab Bebawy, Houssem Guissouma, Sebastian Vander Maelen, Janis Kröger, Georg Hake, Ingo Stierand, Martin Fränzle, Eric Sax, Axel Hahn},Title = {Incremental Contract-based Verification of Software Updates for Safety-Critical Cyber-Physical Systems},Year = {2020},Month = {12},Booktitle = {The 2020 International Conference on Computational Science and Computational Intelligence (CSCI)},type = {conference}}@COMMENT{Bibtex file generated on }