The definition of busy interval can be generalized to an arbitrary processor state model without affecting other parts of the project (which will be useful later).