Standards for developing safety-critical software require adherence to a programming style. The freely available BARR specifications are a good basis.
You can find the german version of the article here starting on page 16.
BARR specifications as a guideline for the programming style
