publication venue for Design of a Commercial Vehicle Monitoring System Based on Multiple Sensors 2020 Conceptual design, performance visualization and dimension improvement of a flexure parallel manipulator 2014 A compositional approach for verifying generalised nonblocking 2009