Interval probabilistic timed graph transformation systems The formal modeling and analysis is of crucial importance for software development processes following the model based approach. We present the formalism of Interval Probabilistic Timed Graph Transformation Systems (IPTGTSs) as a high level modeling language. This language supports structure dynamics (based on graph transformation) timed behavior (based on clocks guards resets and invariants as in Timed Automata (TA)) and interval probabilistic behavior (based on Discrete Interval Probability Distributions). That is for the probabilistic behavior the modeler using IPTGTSs does not need to provide precise probabilities which are often impossible to obtain but rather provides a probability range instead from which a precise probability is chosen nondeterministically. In fact this feature on capturing probabilistic behavior distinguishes IPTGTSs from Probabilistic Timed Graph Transformation Systems (PTGTSs) presented earlier. Following earlier work on Interval Probabilistic Timed Automata (IPTA) and PTGTSs we also provide an analysis tool chain for IPTGTSs based on inter formalism transformations. In particular we provide in our tool AutoGraph a translation of IPTGTSs to IPTA and rely on a mapping of IPTA to Probabilistic Timed Automata (PTA) to allow for the usage of the Prism model checker. The tool Prism can then be used to analyze the resulting PTA w.r.t. probabilistic real time queries asking for worst case and best case probabilities to reach a certain set of target states in a given amount of time. Die formale Modellierung und Analyse ist für Softwareentwicklungsprozesse nach dem modellbasierten Ansatz von entscheidender Bedeutung. Wir präsentieren den Formalismus von Interval Probabilistic Timed Graph Transformation Systems (IPTGTS) als Modellierungssprache auf hoher abstrakter Ebene. Diese Sprache unterstützt Strukturdynamik (basierend auf Graphtransformation) zeitgesteuertes Verhalten (basierend auf Clocks Guards Resets und Invarianten wie in Timed Automata (TA)) und intervallwahrscheinliches Verhalten (basierend auf diskreten Intervallwahrscheinlichkeitsverteilungen). Das heißt für das probabilistische Verhalten muss der Modellierer der IPTGTS verwendet keine genauen Wahrscheinlichkeiten bereitstellen die oft nicht zu bestimmen sind sondern stattdessen einen Wahrscheinlichkeitsbereich bereitstellen aus dem eine genaue Wahrscheinlichkeit nichtdeterministisch ausgewählt wird. Tatsächlich unterscheidet diese Funktion zur Erfassung des probabilistischen Verhaltens IPTGTS von den zuvor vorgestellten PTGTS (Probabilistic Timed Graph Transformation Systems). Nach früheren Arbeiten zu Intervall Probabilistic Timed Automata (IPTA) und PTGTS bieten wir auch eine Analyse Toolkette für IPTGTS die auf Interformalismus Transformationen basiert. Insbesondere bieten wir in unserem Tool AutoGraph eine Übersetzung von IPTGTSs in IPTA und stützen uns auf eine Zuordnung von IPTA zu probabilistischen zeitgesteuerten Automaten (PTA) um die Verwendung des Prism Modellprüfers zu ermöglichen. Das Werkzeug Prism kann dann verwendet werden um den resultierenden PTA bezüglich probabilistische Echtzeitabfragen (in denen nach Worst Case und Best Case Wahrscheinlichkeiten gefragt wird um einen bestimmten Satz von Zielzuständen in einem bestimmten Zeitraum zu erreichen) zu analysieren.