Principles for timing at spallation neutron sources based on developments at LANSCE | IEEE Conference Publication | IEEE Xplore