Validation of reactive embedded systems against specification requirements - Strug, Joanna; Deniziak, Stanisław; Sapiecha, Krzysztof (Wydaw. Uniwersytetu Marii Curie-Skłodowskiej)