Part I Starting Situation.- Part II Modeling Theory.- Part III Application of the SPES XT Modeling Framework.- Part IV Evaluation...