Taha, W. “Rigorous Simulation”. Center for Model-Based Cyber-Physical Product Development, vol. 19, no. 11, Feb. 2017, p. 27, https://wcc.ep.liu.se/index.php/MODPROD/article/view/591.