MapReduce for parallel trace validation of LTL properties (2016)
Keywords: CLOUD ARCHITECTURE