W. Taha, “Rigorous simulation”, MODPROD, vol. 19, no. 11, p. 27, Feb. 2017.