Vitalsource Technologies, Inc. Formal Methods For The Quantitative Evaluation Of Collective Adaptive S