de Nivelle, H., & Piskac, R. (2005). Verification of an Off-Line Checker for Priority Queues. In Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005) (pp. 210-219). Los Alamitos, USA: IEEE.