TY - RPRT TI - An architecture-based dependability modeling framework using AADL AU - Ana-Elena Rugina AU - Karama Kanoun AU - Mohamed Kaaniche PY - 2007 UR - https://arxiv.org/abs/0704.0865 ID - 0704.0865 ER -