@techreport{TUD-CS-2012-0014,
	author = {Eric Bodden},
	title = {Identifying meaningless parameterized linear-temporal-logic formulas},
	month = jan,
	year = {2012},
	institution = {CASED},
	number = {TUD-CS-2012-0014},
	url = {https://www.bodden.de/pubs/TUD-CS-2012-0014.pdf},
}