EMA2AOP: From the AADL Error Model Annex to aspect language towards fault tolerant systems | IEEE Conference Publication | IEEE Xplore