TACAS 2002Real-Time Systems Design with PEPChristian StehnoPDFDOI 10.1007/3-540-46002-0_35dblpBibTeXNo abstract available.