Reducing Component Systems' Behavior Specification