Games, Automata, Logics, and Formal Verification (GandALF2014) - Preface