Models of connected things: on priced probabilistic timed Reo