@book{353843,
	title = {MapReduce for parallel trace validation of LTL properties},
	year = {2016}
}