Theoretical Aspects of Computing – ICTAC 2013 - Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao (Springer Berlin Heidelberg, 2013)