Automated Transfer Vehicle (atv) Nominal Software Gnc Numerical Validation Overview Berthelier, D. ; Chaize, M. ; Delpy, P. ; Strandmoe, S. Abstract Publication: Guidance, Navigation and Control Systems Pub Date: January 2006 Bibcode: 2006ESASP.606E..31B