Aluminum nitride as a masking material for the plasma etching of silicon carbide structures | IEEE Conference Publication | IEEE Xplore