Applicability of Design Safety Requirements to Small Modular Reactor Technologies Intended for Near Term Deployment: Light Water Reactors High Temperature Gas Cooled Reactors (IAEA TECDOC)