Reducing Component Systems' Behavior Specification | IEEE Conference Publication | IEEE Xplore