IEC 61499 2 Cloud Computing 1 Computational Modeling 1 Cyber-Physical Systems 1 Cyber-physical Systems 1 Cybersecurity 1 Fault Diagnosis 1 Formal algebra 1 Formal query langauges 1 Graph databases 1 Graph schemas 1 IEC 61499 function blocks 1 IEC 62443 1 Industrial Control Systems 1 Integrity 1 Kororā 1 Live Migration 1 Medical IoT 1 Medical Standard 1 Multi-Agent Systems 1 QMS 1 Requirement repository 1 Secure-by-design 1 Security 1 Security standards 1 Software Architecture 1 Software requirements 1 TORUS: Traceability of Requirements Using Splices 1 Traceability 1 Virtualization and Security 1