Vitalsource Technologies, Inc. Advanced Use Case Modeling: Software Systems