Moffitt, M. and Günther, G. (2011) “Scalable Scheduling for Hardware-Accelerated Functional Verification”, Proceedings of the International Conference on Automated Planning and Scheduling, 21(1), pp. 162-169. doi: 10.1609/icaps.v21i1.13442.