Model Based Testing of End-to-End Chains Using Domain Specific Languages | IEEE Conference Publication | IEEE Xplore