First Steps in a Paraconsistent Transition Systems Toolkit Theoretical Aspects of Software Engineering (TASE), 2026 Paper
