Proceedings of the Third Workshop on Model Based Testing (MBT 2007), Electronic Notes in Theoretical Computer Science, Volume 190, Issue 2, August 2007.