Proceedings of the Fourth Workshop on Model Based Testing (MBT 2008), Electronic Notes in Theoretical Computer Science, Volume 220, Issue 1, December 2008.