Taxonomies for Reasoning About Cyber-physical Attacks in IoT-based Manufacturing Systems | Synapse