A real-time UEFI functional validation tool with behavior Colored Petri Net model | IEEE Conference Publication | IEEE Xplore