Automated software development and model generation by means of syntactic and semantic analysis. - Mark Meiklejohn (2014)