MaramaAI: Automated and Visual Approach for Inconsistency Checking of Requirements | IEEE Conference Publication | IEEE Xplore