Computer Aided Systems Theory -- EUROCAST 2011 : 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I - Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia ((Lecture Notes in Computer Science))