@conference {413,
	title = {A Recursive Temporal Logic},
	booktitle = {17th International Conference on Formal Engineering Methods},
	year = {2015},
	publisher = {Springer-Verlag},
	organization = {Springer-Verlag},
	keywords = {Automata, Games, Temporal Logic},
	author = {Pablo F. Castro and Cecilia Kilmurray and Nir Piterman}
}