Designing dependable process-orietnted software by D. Jovanovic