Implementing Influence Analysis Using Parameterised Boolean Equation Systems | Publicación