Byron Cook, Scott D. Stoller, Willem Visser: Proceedings of the 3rd Workshop on Software Model Checking, SoftMC@CAV 2005, Edinburgh, UK, July 11, 2005. Electronic Notes in Theoretical Computer Science 144, Elsevier 2006