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