Arlington, VA (January 5, 2000) --
Reactive Systems, Inc. has been awarded a Small Business Innovation
Research Grant by the National Science Foundation. During the project
RSI engineers will collaborate with engineers at Ford Motor to analyze
the design of a powertrain controller using RSI's advanced reactive
system design automation technology.