12Th Ieee International Conference and Workshop on the Engineering of Computer-Based Systems, Date: APR 04-07, 2005, Location: Greenbelt, MD, Sponsors: IEEE TC Engn Comp Based Syst, NASA Software Engn Lab, NASA Goddard Space Flight Ctr, Univ Arizona