Systems Modeling In The Naval Domain