Analyzing Chor Specifications by Translation into FSP | Publicación