The saturated quaternion control law with application for spacecraft formation flying | IEEE Conference Publication | IEEE Xplore