Validation and verification of shipyard logistics simulation system and its use case identification | IEEE Conference Publication | IEEE Xplore