Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems.