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