Ordered t-way Combinations for Testing State-based Systems