Information flow properties for cyber-physical systems