Relational programs: An architecture for robust real-time safety-critical process-control systems Farokh B. Bastani OriginalPaper Pages: 5 - 24
Modeling concurrent real-time processes using discrete events Edward A. Lee OriginalPaper Pages: 25 - 45
Integrated architectural modeling and analysis for high-assurance command and control system design Yi DengJiacun Wang OriginalPaper Pages: 47 - 70
Evaluating software architectures for real-time systems Rick KazmanMark KleinPaul Clements OriginalPaper Pages: 71 - 93
An empirical evaluation of deadlock detection in software architecture specifications Jeffrey J.P. TsaiKuang Xu OriginalPaper Pages: 95 - 126
A practical approach to implementing real-time semantics Girish BhatRance CleavelandGerald Lüttgen OriginalPaper Pages: 127 - 155
The design and analysis of real-time systems using the ASTRAL software development environment Paul Z. KolanoZhe DangRichard A. Kemmerer OriginalPaper Pages: 177 - 210
Specification and analysis of real-time systems with PARAGON Oleg SokolskyInsup LeeHanêne Ben-Abdallah OriginalPaper Pages: 211 - 234
ATOM: An object-based formal method for real-time systems Hussein ZedanAntonio CauHongji Yang OriginalPaper Pages: 235 - 256
On coping with real-time software dynamic inconsistency by built-in tests Yingxu WangGraham KingAlec Dorling OriginalPaper Pages: 283 - 296