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