From System Specifications to Component Behavioral Models