Szpyrka, M. FAST AND FLEXIBLE MODELLING OF REAL-TIME SYSTEMS WITH RTCP-NETS. csci 2013, 6, 81.