LTLGB 2012 - Chen (Springer Berlin Heidelberg, 2013)