@InProceedings{Fletcher95,
  title =        "{A} transputer implementation of a runtime timing constraint-monitor",
  author=        "Fletcher,  Fergus E.",
  editor=        "Nixon,  Patrick",
  pages =        "1--15",
  booktitle=     "{P}roceedings of {W}o{TUG}-18: {T}ransputer and occam {D}evelopments",
  isbn=          "90 5199 222 X",
  year=          "1995",
  month=         "mar",
  abstract=      "A transputer implementation of a runtime constraint monitor
     is described. This monitor -- Sentinel -- uses Real-Time
     Logic (RTL) for specifying a program's timing constraints.
     Sentinel is a variant of an existing centralised
     uniprocessor monitor. In Sentinel,"
}