Vitalsource Technologies, Inc. Software Engineering For Multi-agent Systems Iv