Design and Implementation of Priority Queuing Mechanism on FPGA Using Concurrent Periodic EFSMs and Parametric Model Checking. - Tomoya Kitani; Yoshifumi Takamoto; Isao Naka; Keiichi Yasumoto; Akio Nakata; Teruo Higashino (FPL, 2003)