@misc{indiciaecc0652e1d23a,
  title = {Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles},
  author = {Jon Arne Glomsrud and Stephanie Kemna and Chanjei Vasanthan and Luman Zhao and Dag McGeorge and Tom Arne Pedersen and Tobias Rye Torben and Børge Rokseth and Dong Trong Nguyen},
  year = {2024},
  doi = {10.1088/1742-6596/2867/1/012043},
  url = {https://arxiv.org/abs/2408.03244},
  note = {Source identifier: 2408.03244}
}