A miniature, 500 000 rpm, electrically driven turbocompressor | IEEE Conference Publication | IEEE Xplore