Rule-based formation estimation of distributed Spacecraft | IEEE Conference Publication | IEEE Xplore