1
Abstract Compositional Analysis of Iterated Relations [E-Book] : A Structural Approach to Complex State Transition Systems /