Dariusz Rzonca, Jan Sadolewski, Andrzej Stec, Zbigniew Swider, Bartosz Trybus, Leszek Trybus: Ship Autopilot Software - A Case Study. KKA 2020: 1499-1506