UEFI USB bus initialization verification using Colored Petri Net. - Rongyang Liu; José G. Delgado-Frias; Doug Boyce; Rahul Khanna (MWSCAS, 2015)

A real-time UEFI functional validation tool with behavior Colored Petri Net model. - Rongyang Liu; José G. Delgado-Frias; Doug Boyce; Rahul Khanna (MWSCAS, 2016)

Firmware functional validation using a Colored Petri Net model. - Rongyang Liu; José G. Delgado-Frias; Doug Boyce; Rahul Khanna (MWSCAS, 2017)

Online Firmware Functional Validation Scheme Using Colored Petri Net Model. - Rongyang Liu; José G. Delgado-Frias; Doug Boyce; Yi Qian 003; Rahul Khanna (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)