Carsten Rust, Jürgen Tacken, Carsten Böke: Pr/T-Net Based Seamless Design of Embedded Real-Time Systems. ICATPN 2001: 343-362