Computer aided systems theory - EUROCAST 2009 12th international conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009. Revised selected papers - Moreno-Diaz, Roberto; Pichler, Franz; Quesada-Arencibia, Alexis (Lecture Notes in Computer Science,, 2009)