Developing Safety-Critical Software. A Practical Guide for Aviation Software and