Towards Model-Based Testing with Architecture Models | IEEE Conference Publication | IEEE Xplore