Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems (Logical Methods in Computer Science, 2013)