Zhang, et al.. MI2LS. ACM Press, 2013, doi:10.1145/2487575.2487651.