Proceedings of the 4th Ship Control Systems Symposium, Den Helder, The Netherlands, Supplement