Computer Aided Systems Theory EUROCAST 2005: 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February ... Papers (Lecture Notes in Computer Science)