Evaluation of Bernoulli Production Lines with Product Quality Inspection and Rework Stations: Analytical Solution and the Finite State Method | Synapse