@InProceedings{aswec05,
  author = "J.J. Pardo and V. Valero and M.C. Ruiz and F. Cuartero and G. Diaz",
  title = "Obtaining Probabilistic Dynamic State Graphs for TPPAL processes",
  booktitle = "In Proceedings of the 2005 Australian Software Engineering Conference (ASWEC 2005)",
  address =  {Brisbane (Australia)},
  pages={118-127},
  date = {March 29 - April,1},
  year={2005}
}