.

Published in: ACM Trans. Model. Comput. Simul. (2016)