MAPS hybrid formal qualification performance test results | IEEE Conference Publication | IEEE Xplore