@misc{indiciae94ad85aba0c7, title = {Efficient non-anonymous composition operator for modeling complex dependable systems}, author = {Silvano Chiaradonna and Felicita Di Giandomenico and Giulio Masetti}, year = {2017}, url = {https://arxiv.org/abs/1608.05874}, note = {Source identifier: 1608.05874} }