Taha, W. (2017). Rigorous simulation. Center for Model-Based Cyber-Physical Product Development, 19(11), 27. Retrieved from https://wcc.ep.liu.se/index.php/MODPROD/article/view/591