Symbolic performance analysis of elastic systems | Publicación