Author: International Workshop on Computer Aided Systems Theory (5th 1995 Innsbruck, Austria)