Pošljite SMS: Reliability models for dataflow computer systems / Krishna M. Kavi, Bill P. Buckles.