Program behavior invariant as the basis for system performance estimationстатья