Songzheng Song, Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen. Formalizing and verifying stochastic system architectures using Monterey Phoenix. Software and Systems Modeling, 15(2):453-471, 2016. [doi]
Abstract is missing.