2 more references
Merge branch 'master' of https://github.com/istehem/Evaluation_of_validity_of_verification_methods

Conflicts:
	report/planning_report/references.bib
	report/planning_report/report_v2.tex