Using Software Engineering Automation Tools for Flight-Critical Software