Use of SPARK in a resource constrained embedded system. - Chad Loseby; Peter Chapin; Carl Brandon (SIGAda, 2009)

A SPARK/Ada CubeSat Control Program. - Carl Brandon; Peter Chapin (Ada-Europe, 2013)