TY - RPRT TI - Efficient non-anonymous composition operator for modeling complex dependable systems AU - Silvano Chiaradonna AU - Felicita Di Giandomenico AU - Giulio Masetti PY - 2017 UR - https://arxiv.org/abs/1608.05874 ID - 1608.05874 ER -