Software behaviour correlation in a redundant and diverse environment using the concept of trace abstraction. - Abdelwahab Hamou-Lhadj; Syed Shariyar Murtaza; Waseem Fadel; Ali Mehrabian; Mario Couture; Raphaël Khoury (RACS, 2013)