Add Sources from GraphicBuilder and rename
Created by: michaelwiedau
Please add stuff from RWTH Aachen University but rename it to GraphicalVerificator
Created by: michaelwiedau
Please add stuff from RWTH Aachen University but rename it to GraphicalVerificator