Formal verification of production systems performance: a new approach to the detailed system design phase