Vitalsource Technologies, Inc. Formal Modeling And Analysis Of Timed Systems