Yes, NFPA 79 Sec 10 does cover this, if the pushbutton and HMI are used by an industrial machine, and if your AHJ has adopted this standard and is enforcing it. The DOE (at least to my knowledge) has not adopted this standard so in my case I follow the home-brewed standard that our subject...