A mathematical model for process cycle time - theory and case study