Parameterised Boolean Equation Systems -- Parametric Trace Slicing and Monitoring --