Extended Kalman filter design for multiple satellites formation flying | IEEE Conference Publication | IEEE Xplore