AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems | IEEE Conference Publication | IEEE Xplore