MaramaAI: Automated and Visual Approach for Inconsistency Checking of Requirements - kamalrudin, massila; hosking, John; Grundy, John (2010)