The cyber-physical topology language: definition and operations