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.