Guest Editorial: Special Section on Interaction and State-Based Modeling. - Uchitel, Sebastian; Broy, Manfred; Krüger, Ingoif H.; Whittle, Jon (IEEE Transactions on Software Engineering, 2005)