Vitalsource Technologies, Inc. Moda 10 Advances In Model-oriented Design And Analysis