Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers - Moreno Díaz, Roberto; Pichler, Franz; Quesada Arencibia, Alexis (Springer Berlin Heidelberg, 2005)