Incorporating Modern Development and Evaluation Techniques into the Creation of Spacecraft Control Software