Summary
Will contain formal specification of every subsystems interface – both hardware and software (including communication protocols, data formalisms, etc.).
More information & hyperlinks