Slide 1StateSoft SG17 Workshop March 14 2004 1 Janusz Dobrowolski StateSoft Inc, [email protected] Prof. Bogdan Korel Illinois Institute of Technology [email protected]…