Computer Aided Systems Theory Eurocast 2003 9th International Workshop On Computer Aided Systems Theory Las Palmas De Gran Canaria Spain Papers Lecture Notes In Computer Science