Computer aided systems theory - EUROCAST 2013 : 14th international conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised selected papers, part II - Pichler, Franz; Quesada-Arencibia, Alexis; Moreno-Díaz, Roberto (Lecture Notes in Computer Science, 2013)