Demonstration model of a linear permanent magnet actuator with gas springs | IEEE Conference Publication | IEEE Xplore