Continuous and distributed systems : theory and applications (2014)