Title: Modeling of the Space Station Freedom Data Management System