Slicing And Characterizing Typical-Case Behavior For Component-Based Embedded Systems