Optimal design of a small high temperature and high pressure spool valve for oil exploration | IEEE Conference Publication | IEEE Xplore