Explainability for Property Violations in Cyberphysical Systems: An Immune-Inspired Approach | IEEE Journals & Magazine | IEEE Xplore