Vitalsource Technologies, Inc. Intelligent Agents: Specification, Modeling, And Application