edited by Jerzy Rozenblit, Tim O'Neill, Jainfeng Peng ; sponsored by IEEE Technical Committee on Engineering of Computer-Based Systems ; in cooperation with NASA Software Engineering Laboratory, NASA Goddard Space Flight Center, The University of Arizona
