While languages such as Ada and C++ have gained some adoption in certain circles, for the most part embedded software is still dominated by the procedural and dangerous C programming language. A few ...