[2005.05956v2] Double Categories of Open Dynamical Systems (Extended Abstract)