Zaslat SMS: Application of knowledge engineering in spacecraft overall design