Title Automatic Verification of RealTime Designs.pdfVIP

V Brab erman M Felder R Gerb er S Hong M Saksena Guaranteeing RealTime Requirements with ResourceBased calibration of Perio dic Pro cess IEEE Transaction On Software Engineering Vol no July C Ghezzi D Mandriolli S Morasca M Pezze A unied HighLevel Petri Net Formalism for Time Critical Systems IEEE Transaction On Software Engineering vol no pp February MG Harb our MH Klein JP Leho czky Timing Analysis for FixedPriority Scheduling of Hard RealTime Systems IEEE Transaction On Software Engineering vol no pp January TA Henzinger So oner is safer than later Information Pr ocessing Letters TA Henzinger PH Ho H WongToi A user guide to HyTech Pr oceedings of the st International Workshop on Tools and A lgorithms for the Construction and Analysis of Systems TA CAS Lecture Notes in Computer Science pages Springer verlag TA Henzinger X Nicollin J Sifakis S Yovine Symb olic mo del checking for realtime systems IEEE Information and Computation MR Hill M Joseph Automated Timing Analysis of RealTime Pro Software Engineering Journal pages Septemb er M Humprey J Stankovic CAISARTS A To ol for RealTime Scheduling Assistance In Pr oceedings of the IEEE ReaTime System Symposium MH Klein JP Leho czky R Ra jkumar Rate Monotonic Analysis for Real Time Industrial Computing IEEE Computer January MH Klein T Ralya P Pollak R Ob enza MG Harb our Carnegie Mellow University Software Engineering Institute A Practitioners HandBo ok for RealTime AnalysisGuide To Rate Monotonic Analysis for Real Time Systems Kluwer academic Publishers I Lee P BremondGregoire R Gerb er A Pro cess Algebraic Approach to the Sp ecication and Analysis of Resource Bou