Title: Case study of rapid software prototyping and automated software generation: an Inertial Navigation System