Vitalsource Technologies, Inc. Software Quality. Model-based Approaches For Advanced Software And Syst