Application of Model-Based Testing to Dynamic Evaluation ofFunctional Mockup Units