AsiaSim 2012 - Xiao, Tianyuan (Springer Berlin Heidelberg, 2012)