AFMC, Air Force Research Laboratory/IFK, 26 Electronic Parkway, Rome, NY 13441-4514

A -- USING A SYSTEMS LEVEL DESCRIPTION LANGUAGE TO DESCRIBE INTERACTING FORMAL MODELS POC Mr. Corey C. Freeze, Contract Specialist, A/C 315, 330-2476 CNT F30602-98-C-0268 AMT $96,932.00 DTD 080498 TO Intermetrics, Inc., 1595 Springhill Road, Suite 600, Vienna VA 22182 Posted 08/05/98 (W-SN232866). (0217)

Loren Data Corp. http://www.ld.com (SYN# 0453 19980807\A-0002.AWD)