Author: Rules for Developing Safety Critical Code