Taha, W. 2017. Rigorous simulation. Center for Model-Based Cyber-Physical Product Development. 19, 11 (Feb. 2017), 27.