Computer Aided Systems Theory - EUROCAST 2009 - Moreno-Díaz, Roberto; Kanade, Takeo; Pichler, Franz; Quesada-Arencibia, Alexis (Springer Berlin Heidelberg, 2009)