Mining Component-Based Software Behavioral Models Using Dynamic Analysis · Study