Characteristics of tunable Pb1−xSnx Te junction lasers in the 8–12‐μm region