LTLGB 2012 - Chen, Feng; Liu, Yisheng; Hua, Guowei (Dordrecht Springer Berlin Heidelberg, 2013)