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