Vitalsource Technologies, Inc. Modeling, Verification And Exploration Of Task-level Concurrency In Rea