Mathematical models for an RCS system