db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
@InProceedings{Sousa CasJr98,
  title =        "{A} {F}ault-{T}olerant {O}n-board {C}omputer for {S}pace {A}pplications",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  author=        "Sousa Castro,  Helano de and Jr,  Jo\~{a}o Reinaldo Imbiriba and Silveira,  Jarbas Aryel N. and Santiago,  Valdivino and Monteiro,  Ant\^{o}nio Miguel Vieira",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  editor=        "Welch, Peter H. and Bakkers,  Andr\`{e} W. P.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  pages =        "219--230",
  booktitle=     "{P}roceedings of {W}o{TUG}-21: {A}rchitectures, {L}anguages and {P}atterns for {P}arallel and {D}istributed {A}pplications",
  isbn=          "90 5199 391 9",
  year=          "1998",
  month=         "mar",
  abstract=      "The first Brazilian microsatellite will be launched at the
     middle of 1998. The on-board computer, named Trisputer, will
     play a major part in the mission, since it will perform
     essential on-board functions, such, as guidance, control of
     the on-board instrumentation, telemetry/telecommand, and
     control of some on-board scientific experiments. The
     Trisputer is a fault-tolerant multiprocessor computer with a
     high reliability, when compared to such systems as TMR, and
     Duplex. This paper describes the conception and
     implementation of the hardware of this computer, as well as
     it shows its reliability model."
}