Execution Trace Analysis Using LTL-FO ^+. - Raphaël Khoury; Sylvain Hallé; Omar Waldmann (ISoLA (2), 2016)