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