Dynamic slicing of concurrent specification languages | Publicación