Vitalsource Technologies, Inc. From Reactive Systems To Cyber-physical Systems