PaNeCS: A modeling language for passivity-based design of networked control systems