MapReduce for Parallel Trace Validation of LTL Properties. - Benjamin Barre; Mathieu Klein; Maxime Soucy-Boivin; Pierre-Antoine Ollivier; Sylvain Hallé (RV, 2012)