Design of a compact diode laser system for dual-species atom interferometry with rubidium and potassium in space | IEEE Conference Publication | IEEE Xplore