Reliability models for dataflow computer systems | lit.salon