Etiket: equivalence partitioning real time example