TITLE     : Efficient non-anonymous composition operator for modeling complex dependable systems
AUTHOR(S) : Chiaradonna S, Di Giandomenico F, Masetti G
TYPE      : Conference article
YEAR      : 2016
CODE      : 367417

*** DO NOT EDIT THIS FILE ***