An Effective Solution of Benchmarking Problem FSM Benchmark Generator and Its Application to Analysis of State Assignment Methods. - Lech Józwiak; Dominik Gawlowski; Aleksander Slusarczyk (DSD, 2004)

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

Multi-objective Optimal Controller Synthesis for Heterogeneous Embedded Systems. - Lech Józwiak; Dominik Gawlowski; Aleksander Slusarczyk (ICSAMOS, 2006)