Taha, W. Rigorous Simulation. MODPROD 2017, 19, 27.