Computer Aided Systems Theory – EUROCAST 2005 - International Workshop on Computer Aided Systems Theory; Kanade, Takeo; Moreno-Díaz, Roberto; Pichler, Franz; Quesada Arencibia, Alexis (Springer Berlin / Heidelberg, 2005)