AsiaSim 2013 - Tan (Springer Berlin Heidelberg, 2013)