publication venue for Conceptual design, performance visualization and dimension improvement of a flexure parallel manipulator 2014 A compositional approach for verifying generalised nonblocking 2009