Computer Aided Systems Theory -- EUROCAST 2013 : 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II - Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia ((Lecture Notes in Computer Science))