An Executable CoreASM Model of the Termination Detection Protocol