- Ranko Lazic 0001, Rajagopal Nagarajan, editors, Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005. Volume 145 of Electronic Notes in Theoretical Computer Science, Elsevier, 2006.