Vitalsource Technologies, Inc. Design and Analysis of Control Systems: Case Studies