Yi Li, Xiyue Zhang, Yuanyi Ji, Meng Sun: Capturing Stochastic and Real-Time Behavior in Reo Connectors. SBMF 2017: 287-304