Verlag Universitätsverlag PotsdamHolger Giese × Modeling and verifying dynamic evolving service-oriented architectures Holger GieseUniversitätsverlag PotsdamSoftcover2013 Industrial case study on the integration of SysML and AUTOSAR with triple graph grammars Holger GieseUniversitätsverlag PotsdamSoftcover2012 Toward bridging the gap between formal semantics and implementation of triple graph grammars Holger GieseUniversitätsverlag PotsdamSoftcover2010 Efficient model synchronization of large-scale models Holger GieseUniversitätsverlag PotsdamBuch