Formal model for simulating inventory shortages, delivery times, costs, backorders, and optimal inventory levels - John McClain