Do we have standard references for JLab-developed electronics, specifically the F250 ADC and the F1TDC, suitable for citing in archival journals?