Describir: Continuous and Distributed Systems