State Elimination Ordering Strategies: Some Experimental Results - Nelma Moreira; Davide Nabais; Rogério Reis (DCFS, 2010)