IEEE Article on SPARK Ada Certification for SmartCards [January 2002]
Praxis Critical Systems' Anthony Hall and Roderick Chapman published an article in
the Jan/Feb 2002 IEEE Journal on the company's Certification Authority for
the Multos smart card scheme on the behalf of Mondex International.
Commanche Sticks with Ada
[November 1999]
An article in Aviation Week that details how Boeing is
continuing to use Ada for the Commanche Helicopter project.
