Model-Based Testing of Software-Based System Functions | IEEE Conference Publication | IEEE Xplore