Journal: ACM Trans. Model. Comput. Simul.