Downloadable and embedded software for control and movement of rockets and vehicles, managing robotic machine states, automating avionics and avionic hardware, and automating avionics and structures verification tests; downloadable and embedded software for state-machine computer based programming language; downloadable and embedded software for implementing engineering analysis of structure against applied loads; downloadable and embedded software for control and movement, including automate...