Power devices : data manual - Bharat Electronics (Bharat Electronics Bangalore, 1990)