A Review of Two Experiences from Applying Model Based Testing in Practice | IEEE Conference Publication | IEEE Xplore