Engineering Complex Embedded Systems with State Analysis and the Mission Data System