LogicalFoundationsofCyber-PhysicalSystems,AndréPlatzer,2018