Towards a Call Behavior-Based Compositional Verification Framework for SysML Activity Diagrams.