About the possibility to use the model based testing for system test automation | IEEE Conference Publication | IEEE Xplore