Verified Computer Systems Analysis and Design Shenandoah Systems Inc 116 Twin Fox Lane Berkeley Springs, WV 25411 (304) 258-4713 ssysi.com