Email Record: Model-based software engineering for an optical navigation system for spacecraft (Franz, T)