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 - Roberto Moreno-Díaz, Franz Pichler ((Lecture Notes in Computer Science))