An Application of Expectation-Maximization for Model Verification - Łukawska, Barbara; Łukawski, Grzegorz; Sapiecha, Krzysztof (Wydaw. Uniwersytetu Marii Curie-Skłodowskiej)