1
The Place for MISRA C in Safe & Secure Programming - A Comparison with SPARK
(www.embeddedcomputing.com)
Ada programming language. For memory safe multi task programming, elegant embedded bit fiddling and everything else in a readable way