Safety-Critical Interlocking (IXL) Software Development and Certification Project