A minor note: NXP features another line of Cortex-M devices: S32K Automotive MCUs for those requiring ASIL certification.