Hi, I'm seeking works and pappers about formal verification of aspect oriented systems. Any reference about this is well come. Thanks. Farida mostefaoui Phd Student Univeristy de Montréal, Canada.