Zaslat SMS: Pioneer Venus case study in spacecraft design