Behavioral an real-time verification of a pipeline in the COSMA environment - Mieścicki, Jerzy; Daszczuk, Wiktor B. (Wydaw. Uniwersytetu Marii Curie-Skłodowskiej)