A priori test coverage estimation for automated production systems: Using generated behavior models for coverage calculation | IEEE Conference Publication | IEEE Xplore