Multi-objective Optimal FSM State Assignment. - Józwiak, Lech; Slusarczyk, Aleksander; Gawlowski, Dominik (2006)