Naval Systems: Automated Support for Combat Systems from the Machinery World