1. Bebawy, Y., Guissouma, H., Vander Maelen, S., Kröger, J., Hake, G., Stierand, I., Fränzle, M., Sax, E., and Hahn, A. (2020). Incremental contract-based verification of software updates for safety-critical cyber-physical systems. In International conference on computational science and computational intelligence (CSCI 2020).
2. BIMCO (2017). Industry Standard Software Maintenance of Shipboard Equipment. https://www.bimco.org/about-us-and-our-members/publications/industry-standard-software-maintenance-of-shipboard-equipment. Accessed: 2021-04-24.
3. CIRM/BIMCO Joint Working Group (2017). Industry Standard on Software Maintenance of Shipboard Equipment v1.0.
4. Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems;Hake,2020
5. Continuous Contract Based Verification of Updates in Maritime Shipboard Equipment;Hake;Journal of Marine Science and Engineering,2021