Využití UML a dalších metod formálního popisu aplikací pro generování zdrojového kódu aplikací a reverzní softwarového inženýrství. - Malaník, Martin (2009)