FAT-AES: Systematic Methodology of Functional Testing for Automotive Embedded Software | IEEE Journals & Magazine | IEEE Xplore