Software rejuvenation impacts on a phased-mission system for Mars exploration. - Stefano Ballerini; Laura Carnevali; Marco Paolieri; Kumiko Tadano; Fumio Machida (ISSRE (Supplemental Proceedings), 2013)