palavras-chave Artificial Immune Systems Negative Selection Algorithm Property Specification Patterns Smart Cyber-Physical Systems