Behavioral Intervals in Embedded Software