Computer aided systems theory - EUROCAST 2003 : 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003 : revised selected papers - International Workshop on Computer Aided Systems Theory; Moreno-Díaz, Roberto; Pichler, Franz, Ing., Dr. phil (Lecture notes in computer science, 2003)