Computer Aided Systems Theory — CAST '94