The TROPOS Analysis Process as Graph Transformation System