Systems modeling in the naval domain