For example, with MISRA it may be C, but feels like Ada.
http://www.misra.org.uk/
Or Spark similarly for Ada
http://www.spark-2014.org/