Vitalsource Technologies, Inc. Formal Approaches To Agent-based Systems