@misc{indiciae0c04a12aab42,
  title = {The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation},
  author = {Ana E. Rugina and Karama Kanoun and Mohamed Kaaniche},
  year = {2008},
  url = {https://arxiv.org/abs/0809.4108},
  note = {Source identifier: 0809.4108}
}