http://formal.kastel.kit.edu/GIFproject