LTLGB 2012 - Chen, Feng (Springer Berlin Heidelberg, 2013)