Model-Based Systems Engineering for design and automated operation of modern waterway systems | IEEE Conference Publication | IEEE Xplore