A Comparison of Four Design Methods for Real-Time Systems

@inproceedings{Kelly:ICSE87,
  author    = {J. C. Kelly},
  title     = {A Comparison of Four Design Methods for {Real-Time} Systems},
  booktitle = {ICSE},
  pages     = {238--252},
  publisher = {{ACM}},
  year      = {1987},
}