See Brady Products
10W DC-DC Converter - Medical Grade - Input: 9 to 18 VDC - Output: 12 VDC ±1% - DIP24