@conference {261,
	title = {Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows},
	booktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium, {SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},
	year = {2012},
	doi = {10.1007/978-3-642-33296-8_12},
	url = {http://dx.doi.org/10.1007/978-3-642-33296-8_12},
	author = {Germ{\'a}n Regis and Nicol{\'a}s Ricci and Nazareno Aguirre and Thomas S.E. Maibaum}
}