Abstract Compositional Analysis of Iterated Relations: A Structural Approach to Complex State Transition Systems | DealShopping Deutschland