@InProceedings{Rasc,
 author= "Abdelwahab  Hamou-Lhadj and Syed Shariyar Murtaza and Waseem Fadel and Ali Mehrabian and Mario Couture and Raphael Khoury",
 title = "Software Behaviour Correlation in a Redundant and Diverse Environment Using the Concept of Trace Abstraction",
 booktitle = "2013 International Conference on Reliable And Convergent Systems  (ACM RACS 2013)",
 year = 2013,
 month=october
}