TY - RPRT TI - The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation AU - Ana E. Rugina AU - Karama Kanoun AU - Mohamed Kaaniche PY - 2008 UR - https://arxiv.org/abs/0809.4108 ID - 0809.4108 ER -