Lunar lander project relies on SPARK programming languageelectronics-eetimes.com6 pointspietrofmaggi16 years ago