Computer Aided Systems Theory - EUROCAST'99 : A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2, 1999 Proceedings - Peter Kopacek, Roberto Moreno-Díaz, Franz Pichler ((Lecture Notes in Computer Science))