Kang, M. H.,  and R. Peyton, "Design Documentation for the SINTRA 
 Global Scheduler,"  NRL Memorandum Report #5542-93-7362, June 30, 1993. 
 <a href="1993kang-NRLMR7362.ps">
  PostScript</a>

<blockquote>
In this report, we present the detailed description of the Secure
Information Through Replicated Architecture (SINTRA) global scheduler.
The detailed description includes: (1) the replica control algorithm,
(2) design descriptions, and (3) rational behind our decision to choose
specific methodology, an implementation language, and software
engineering principles.
</blockquote>