(2018). A formal model for the analysis and verification of a pre-emptive round-robin arbiter. International Journal of Critical Computer-Based Systems. 8:2. (169-192). Online publication date: 1-Jan-2018.
Singh G and Shukla S. Verifying Compiler Based Refinement of BluespecTM Specifications Using the SPIN Model Checker. Proceedings of the 15th international workshop on Model Checking Software. (250-269).