結果 : guidelines for the use of the c++ language in critical systems