Renal stone risk during spaceflight: assessment and countermeasure validation | IEEE Conference Publication | IEEE Xplore