SPARK: A Programming Language Used in Planned Lunar Landerelectronics-eetimes.com2 pointsmkramlich16 years ago