Roman Gumzej, Matjaz Colnaric, Wolfgang A. Halang. Temporal Feasibility Verification of Specification PEARL Designs. In 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 12-14 May 2004, Vienna, Austria. pages 249-252, IEEE Computer Society, 2004. [doi]
Abstract is missing.