@misc{GODA:github, Author = {Danilo Filgueira Mendonça}, Howpublished = {\url{https://github.com/lesunb/CRGMToPRISM}}, Note = {[Online; accessed 03-june-2016]}, Title = {{Goal-Oriented Dependability Analysis (GODA)}}, Year = {2016}}