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