LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements. - Kevin Kolyakov; Lina Marsso; Nick Feng; Junwei Quan; Marsha Chechik (ICSE Companion, 2025)