@InProceedings{CrollGriffiths95,
  title =        "{M}odelling {R}eal-{T}ime {B}ehaviour of {P}arallel {T}ransputer {S}ystems under {F}ailure {C}onditions",
  author=        "Croll,  Peter R. and Griffiths,  P. M.",
  editor=        "Nixon,  Patrick",
  pages =        "183--195",
  booktitle=     "{P}roceedings of {W}o{TUG}-18: {T}ransputer and occam {D}evelopments",
  isbn=          "90 5199 222 X",
  year=          "1995",
  month=         "mar",
  abstract=      "This paper describes work concerning the modelling of
     transputer The aims and problems of designing real-time
     systems are introduced. The key features of the model which
     are relevant to reliability are discussed. Algorithms for
     scheduling parallel and mono-processor real-time system are
     explained. Coloured Petri-nets in general are introduced,
     and then the key features of the CASE tool Design/CPN are
     covered. Details of how the model has been implemented, and
     how the model behaves are given. Conclusions from the work
     so far are presented, and the outstanding areas of work are
     discussed."
}